Function rustc_typeck::check::compare_method::compare_predicate_entailment

pub(in check::compare_method) fn compare_predicate_entailment<'tcx>(
    tcx: TyCtxt<'tcx>, 
    impl_m: &AssocItem, 
    impl_m_span: Span, 
    trait_m: &AssocItem, 
    impl_trait_ref: TraitRef<'tcx>
) -> Result<(), ErrorReported>