Struct rustc::ty::OutlivesPredicate

pub struct OutlivesPredicate<A, B>(pub A, pub B);

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Trait Implementations

impl<'a, 'gcx, A, B> HashStable<StableHashingContext<'a>> for OutlivesPredicate<A, B> where     A: HashStable<StableHashingContext<'a>>,     B: HashStable<StableHashingContext<'a>>,

fn hash_stable<W: StableHasherResult>(     &self,     hcx: &mut StableHashingContext<'a>,     hasher: &mut StableHasher<W> )

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'tcx, A: Copy + Lift<'tcx>, B: Copy + Lift<'tcx>> Lift<'tcx> for OutlivesPredicate<A, B>

type Lifted = OutlivesPredicate<A::Lifted, B::Lifted>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn lift_to_tcx<'a, 'gcx>(     &self,     tcx: TyCtxt<'a, 'gcx, 'tcx> ) -> Option<Self::Lifted>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'tcx, T, U> TypeFoldable<'tcx> for OutlivesPredicate<T, U> where     T: TypeFoldable<'tcx>,     U: TypeFoldable<'tcx>,

fn super_fold_with<'gcx: 'tcx, V: TypeFolder<'gcx, 'tcx>>(     &self,     folder: &mut V ) -> Self

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn super_visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn fold_with<'gcx: 'tcx, F: TypeFolder<'gcx, 'tcx>>(     &self,     folder: &mut F ) -> Self

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_regions_bound_at_or_above(&self, binder: DebruijnIndex) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

True if self has any late-bound regions that are either bound by binder or bound by some binder outside of binder. If binder is ty::INNERMOST, this indicates whether there are any late-bound regions that appear free.

fn has_regions_bound_above(&self, binder: DebruijnIndex) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

True if this self has any regions that escape binder (and hence are not bound by it).

fn has_escaping_regions(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_type_flags(&self, flags: TypeFlags) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_projections(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn references_error(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_param_types(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_self_ty(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_infer_types(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn needs_infer(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_skol(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn needs_subst(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_re_skol(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_closure_types(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn has_free_regions(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

"Free" regions in this context means that it has any region that is not (a) erased or (b) late-bound.

fn has_erasable_regions(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

True if there any any un-erased free regions.

fn is_global(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Indicates whether this value references only 'global' types/lifetimes that are the same regardless of what fn we are in. This is used for caching.

fn has_late_bound_regions(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

True if there are any late-bound regions

fn visit_tys_shallow(     &self,     visit: impl FnMut(Ty<'tcx>) -> bool ) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

A visitor that does not recurse into types, works like fn walk_shallow in Ty.

impl<A: Clone, B: Clone> Clone for OutlivesPredicate<A, B>

fn clone(&self) -> OutlivesPredicate<A, B>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Copy, B: Copy> Copy for OutlivesPredicate<A, B>

impl<A: PartialEq, B: PartialEq> PartialEq for OutlivesPredicate<A, B>

fn eq(&self, other: &OutlivesPredicate<A, B>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &OutlivesPredicate<A, B>) -> bool

This method tests for !=.

impl<A: Eq, B: Eq> Eq for OutlivesPredicate<A, B>

fn assert_receiver_is_total_eq(&self)

impl<A: PartialOrd, B: PartialOrd> PartialOrd for OutlivesPredicate<A, B>

fn partial_cmp(&self, other: &OutlivesPredicate<A, B>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &OutlivesPredicate<A, B>) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &OutlivesPredicate<A, B>) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &OutlivesPredicate<A, B>) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &OutlivesPredicate<A, B>) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<A: Ord, B: Ord> Ord for OutlivesPredicate<A, B>

fn cmp(&self, other: &OutlivesPredicate<A, B>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

impl<A: Hash, B: Hash> Hash for OutlivesPredicate<A, B>

fn hash<__HAB: Hasher>(&self, state: &mut __HAB)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].

impl<A: Debug, B: Debug> Debug for OutlivesPredicate<A, B>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<A: Encodable, B: Encodable> Encodable for OutlivesPredicate<A, B>

fn encode<__SAB: Encoder>(&self, s: &mut __SAB) -> Result<(), __SAB::Error>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<A: Decodable, B: Decodable> Decodable for OutlivesPredicate<A, B>

fn decode<__DAB: Decoder>(     d: &mut __DAB ) -> Result<OutlivesPredicate<A, B>, __DAB::Error>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'tcx, T: Print + Debug, U: Print + Debug> Print for OutlivesPredicate<T, U>

fn print<F: Write>(&self, f: &mut F, cx: &mut PrintContext) -> Result

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn print_to_string(&self, cx: &mut PrintContext) -> String

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn print_display<F: Write>(&self, f: &mut F, cx: &mut PrintContext) -> Result

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn print_display_to_string(&self, cx: &mut PrintContext) -> String

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn print_debug<F: Write>(&self, f: &mut F, cx: &mut PrintContext) -> Result

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn print_debug_to_string(&self, cx: &mut PrintContext) -> String

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'tcx, T: Print + Debug, U: Print + Debug> Display for OutlivesPredicate<T, U>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.