rustc_middle::ty

Trait ExistentialPredicateStableCmpExt

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

Required Methods§

Source

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§