{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":")"}]}
) -> Result<(), ReceiverValidityError> {
    method_generics: &ty::Generics,
    if let ty::Param(param) = ty.kind() {