Checks if an attempted implementation of a trait method or an associated type has the right number of type or const parameters.
Corresponds to the E0049 Rust error.