Trait Constructors

The comment I just posted is the essence of where my confusion came from.

Probably due to the way how traits are defined and documented I always assumed From<u8> and From<u16> are two different traits (belonging to the same "trait constructor" family, but still distinct).

From there, Target was / is "just another parameter". That it has different semantics didn't really change that it is a parameter configuring the specific instance of the trait like a T does, and if it is a parameter that does such a thing, I ended up counting 4 traits in my first post.

As long as you treat associated types as properties of a trait instead of free parameters (per @quinedot) , these two views are dual to each other: They both support the same conclusions, but which one is easier to reason with will depend on the situation.

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.