Checks if correct associated type arguments were used for a type or a trait reference.
Corresponds to the E0191 and E0220 Rust errors.