Skip to main content

compare_const_clause_entailment

Function compare_const_clause_entailment 

Source
fn compare_const_clause_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_clause_entailment, but for associated constants instead of associated functions.