Function confirm_type_is_not_a_method_generic_param 

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.