Function rustc_hir_analysis::check::compare_impl_item::compare_const_predicate_entailment

source ·

fn compare_const_predicate_entailment<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_ct: AssocItem,
    trait_ct: AssocItem,
    impl_trait_ref: TraitRef<'tcx>
) -> Result<(), ErrorGuaranteed>

Expand description

The equivalent of compare_method_predicate_entailment, but for associated constants instead of associated functions.