-You used an associated type which isn't defined in the trait.
+A used associated type wasn't defined in the trait.
+
Erroneous code example:
```compile_fail,E0220
An attempt was made to retrieve an associated type, but the type was ambiguous.
-For example:
+
+Erroneous code example:
```compile_fail,E0221
trait T1 {}
An attempt was made to constrain an associated type.
-For example:
+
+Erroneous code example:
```compile_fail,E0222
pub trait Vehicle {