Function rustc_typeck::check::compare_method::compare_type_predicate_entailment

pub(in check::compare_method) fn compare_type_predicate_entailment<'tcx>(
    tcx: TyCtxt<'tcx>, 
    impl_ty: &AssocItem, 
    impl_ty_span: Span, 
    trait_ty: &AssocItem, 
    impl_trait_ref: TraitRef<'tcx>
) -> Result<(), ErrorReported>

The equivalent of compare_predicate_entailment, but for associated types instead of associated functions.