Struct rustc::ty::context::Interned

struct Interned<'tcx, T: 'tcx + ?Sized>(&'tcx T);

🔬 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?

An entry in an interner.

Trait Implementations

impl<'tcx> PartialEq for Interned<'tcx, TyS<'tcx>>

fn eq(&self, other: &Interned<'tcx, TyS<'tcx>>) -> bool

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

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'tcx> Eq for Interned<'tcx, TyS<'tcx>>

fn assert_receiver_is_total_eq(&self)

impl<'tcx> Hash for Interned<'tcx, TyS<'tcx>>

fn hash<H: Hasher>(&self, s: &mut H)

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<'tcx: 'lcx, 'lcx> Borrow<TypeVariants<'lcx>> for Interned<'tcx, TyS<'tcx>>

fn borrow<'a>(&'a self) -> &'a TypeVariants<'lcx>

Immutably borrows from an owned value.

impl<'tcx, T: PartialEq> PartialEq for Interned<'tcx, Slice<T>>

fn eq(&self, other: &Interned<'tcx, Slice<T>>) -> bool

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

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'tcx, T: Eq> Eq for Interned<'tcx, Slice<T>>

fn assert_receiver_is_total_eq(&self)

impl<'tcx, T: Hash> Hash for Interned<'tcx, Slice<T>>

fn hash<H: Hasher>(&self, s: &mut H)

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<'tcx: 'lcx, 'lcx> Borrow<[Ty<'lcx>]> for Interned<'tcx, Slice<Ty<'tcx>>>

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

fn borrow<'a>(&'a self) -> &'a [Ty<'lcx>]

Immutably borrows from an owned value.

impl<'tcx: 'lcx, 'lcx> Borrow<[CanonicalVarInfo]> for Interned<'tcx, Slice<CanonicalVarInfo>>

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

fn borrow<'a>(&'a self) -> &'a [CanonicalVarInfo]

Immutably borrows from an owned value.

impl<'tcx: 'lcx, 'lcx> Borrow<[Kind<'lcx>]> for Interned<'tcx, Substs<'tcx>>

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

fn borrow<'a>(&'a self) -> &'a [Kind<'lcx>]

Immutably borrows from an owned value.

impl<'tcx> Borrow<RegionKind> for Interned<'tcx, RegionKind>

fn borrow<'a>(&'a self) -> &'a RegionKind

Immutably borrows from an owned value.

impl<'tcx: 'lcx, 'lcx> Borrow<[ExistentialPredicate<'lcx>]> for Interned<'tcx, Slice<ExistentialPredicate<'tcx>>>

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

fn borrow<'a>(&'a self) -> &'a [ExistentialPredicate<'lcx>]

Immutably borrows from an owned value.

impl<'tcx: 'lcx, 'lcx> Borrow<[Predicate<'lcx>]> for Interned<'tcx, Slice<Predicate<'tcx>>>

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

fn borrow<'a>(&'a self) -> &'a [Predicate<'lcx>]

Immutably borrows from an owned value.

impl<'tcx: 'lcx, 'lcx> Borrow<Const<'lcx>> for Interned<'tcx, Const<'tcx>>

fn borrow<'a>(&'a self) -> &'a Const<'lcx>

Immutably borrows from an owned value.

impl<'tcx: 'lcx, 'lcx> Borrow<[Clause<'lcx>]> for Interned<'tcx, Slice<Clause<'tcx>>>

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

fn borrow<'a>(&'a self) -> &'a [Clause<'lcx>]

Immutably borrows from an owned value.

impl<'tcx: 'lcx, 'lcx> Borrow<[Goal<'lcx>]> for Interned<'tcx, Slice<Goal<'tcx>>>

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

fn borrow<'a>(&'a self) -> &'a [Goal<'lcx>]

Immutably borrows from an owned value.

impl<'tcx> PartialEq for Interned<'tcx, RegionKind>

fn eq(&self, other: &Self) -> bool

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

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'tcx> Eq for Interned<'tcx, RegionKind>

fn assert_receiver_is_total_eq(&self)

impl<'tcx> Hash for Interned<'tcx, RegionKind>

fn hash<H: Hasher>(&self, s: &mut H)

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<'tcx> PartialEq for Interned<'tcx, Const<'tcx>>

fn eq(&self, other: &Self) -> bool

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

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'tcx> Eq for Interned<'tcx, Const<'tcx>>

fn assert_receiver_is_total_eq(&self)

impl<'tcx> Hash for Interned<'tcx, Const<'tcx>>

fn hash<H: Hasher>(&self, s: &mut H)

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].