Trait ExistentialPredicateStableCmpExt

pub trait ExistentialPredicateStableCmpExt<'tcx> {
    // Required method
    fn stable_cmp(&self, tcx: TyCtxt<'tcx>, other: &Self) -> Ordering;
}

Required Methods

fn stable_cmp(&self, tcx: TyCtxt<'tcx>, other: &Self) -> Ordering

Compares via an ordering that will not change if modules are reordered or other changes are made to the tree. In particular, this ordering is preserved across incremental compilations.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'tcx> ExistentialPredicateStableCmpExt<'tcx> for ExistentialPredicate<'tcx>