Let\'s say we have a trait with an associated type, and a concrete type that implements the trait. We also have a concrete type for the associated type.
We then have anot