Primitive types can have impl inside dependencies

[phated]

Aim

I tested adding impl Field to a dependency and including it into my project and the compiler did not error.

Expected Behavior

The compiler should error if primitives are impld in a dependency.

Bug

The compiler doesn't error.

To Reproduce

Installation Method

None

Nargo Version

No response

Additional Context

Inside of collect_impls there is a note about this behavior but no TODO or issue that I could find.

Would you like to submit a PR for this Issue?

Yes

Support Needs

No response