fn confirm_type_is_not_a_method_generic_param( ty: Ty<'_>, method_generics: &Generics, ) -> Result<(), ReceiverValidityError>
Confirms that a type is not a type parameter referring to one of the method’s type params.