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.