Struct rustc_middle::ty::context::Interned

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

An entry in an interner.

Tuple Fields

0: &'tcx T

Trait Implementations

impl<'tcx, T> Borrow<[T]> for Interned<'tcx, List<T>>

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

Immutably borrows from an owned value.

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

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

Immutably borrows from an owned value.

impl<'tcx> Borrow<Allocation<AllocId, ()>> for Interned<'tcx, Allocation>

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

Immutably borrows from an owned value.

impl<'tcx> Borrow<Binder<PredicateKind>> for Interned<'tcx, PredicateInner<'tcx>>

fn borrow<'a>(&'a self) -> &'a Binder<'tcx, PredicateKind<'tcx>>

Immutably borrows from an owned value.

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

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

Immutably borrows from an owned value.

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

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

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> Borrow<TyKind> for Interned<'tcx, TyS<'tcx>>

fn borrow<'a>(&'a self) -> &'a TyKind<'tcx>

Immutably borrows from an owned value.

impl<'tcx, T: 'tcx + ?Sized> Clone for Interned<'tcx, T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

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> Hash for Interned<'tcx, PredicateInner<'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, T: Hash> Hash for Interned<'tcx, List<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> 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> 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.

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

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> Hash for Interned<'tcx, Layout>

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> Hash for Interned<'tcx, AdtDef>

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, T: 'tcx + ?Sized> IntoPointer for Interned<'tcx, T>

fn into_pointer(&self) -> *const ()

Returns a pointer which outlives self.

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

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

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'tcx> PartialEq<Interned<Allocation<AllocId, ()>>> for Interned<'tcx, Allocation>

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

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'tcx> PartialEq<Interned<Const>> 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 ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

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

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

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

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

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

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

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

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

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'tcx> PartialEq<Interned<RegionKind>> 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 ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'tcx> PartialEq<Interned<TyS>> 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 ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'tcx, T: 'tcx + ?Sized> Copy for Interned<'tcx, T>

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

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

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

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

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

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

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

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

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.