pub fn recognize_fn_trait_impl_proof(
trait_proof: &TraitProof,
) -> Option<(Binder<&Ty>, ClosureKind)>Expand description
If this trait proof is a built-in impl of a Fn* trait, return the Self type it is
implemented for and the kind of the implemented trait.