Struct rustc_middle::ty::GenericArg

pub struct GenericArg<'tcx> {
    ptr: NonNull<()>,
    marker: PhantomData<(Ty<'tcx>, Region<'tcx>, Const<'tcx>)>,
}

An entity in the Rust type system, which can be one of several kinds (types, lifetimes, and consts). To reduce memory usage, a GenericArg is an interned pointer, with the lowest 2 bits being reserved for a tag to indicate the type (Ty, Region, or Const) it points to.

Note: the PartialEq, Eq and Hash derives are only valid because Ty, Region and Const are all interned.

Fields

ptr: NonNull<()>

marker: PhantomData<(Ty<'tcx>, Region<'tcx>, Const<'tcx>)>

Implementations

impl<'tcx> GenericArg<'tcx>

pub fn walk(self) -> TypeWalker<'tcx>

Iterator that walks self and any types reachable from self, in depth-first order. Note that just walks the types that appear in self, it does not descend into the fields of structs or variants. For example:

isize => { isize }
Foo<Bar<isize>> => { Foo<Bar<isize>>, Bar<isize>, isize }
[isize] => { [isize], isize }

impl<'tcx> GenericArg<'tcx>

pub fn unpack(self) -> GenericArgKind<'tcx>

pub fn as_type(self) -> Option<Ty<'tcx>>

pub fn as_region(self) -> Option<Region<'tcx>>

pub fn as_const(self) -> Option<Const<'tcx>>

pub fn expect_region(self) -> Region<'tcx>

Unpack the GenericArg as a region when it is known certainly to be a region.

pub fn expect_ty(self) -> Ty<'tcx>

Unpack the GenericArg as a type when it is known certainly to be a type. This is true in cases where GenericArgs is used in places where the kinds are known to be limited (e.g. in tuples, where the only parameters are type parameters).

pub fn expect_const(self) -> Const<'tcx>

Unpack the GenericArg as a const when it is known certainly to be a const.

pub fn is_non_region_infer(self) -> bool

Trait Implementations

impl<'tcx> Clone for GenericArg<'tcx>

fn clone(&self) -> GenericArg<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for GenericArg<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<D> for GenericArg<'tcx>

fn decode(d: &mut D) -> GenericArg<'tcx>

impl<'tcx> Display for GenericArg<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<E> for GenericArg<'tcx>

fn encode(&self, e: &mut E)

impl<'tcx> EraseType for GenericArg<'tcx>

type Result = [u8; 8]

impl<'tcx> From<Const<'tcx>> for GenericArg<'tcx>

fn from(c: Const<'tcx>) -> GenericArg<'tcx>

Converts to this type from the input type.

impl<'tcx> From<Region<'tcx>> for GenericArg<'tcx>

fn from(r: Region<'tcx>) -> GenericArg<'tcx>

Converts to this type from the input type.

impl<'tcx> From<Term<'tcx>> for GenericArg<'tcx>

fn from(value: Term<'tcx>) -> Self

Converts to this type from the input type.

impl<'tcx> From<Ty<'tcx>> for GenericArg<'tcx>

fn from(ty: Ty<'tcx>) -> GenericArg<'tcx>

Converts to this type from the input type.

impl<'tcx> GenericArg<TyCtxt<'tcx>> for GenericArg<'tcx>

fn as_type(&self) -> Option<<I as Interner>::Ty>

fn expect_ty(&self) -> <I as Interner>::Ty

fn as_const(&self) -> Option<<I as Interner>::Const>

fn expect_const(&self) -> <I as Interner>::Const

fn as_region(&self) -> Option<<I as Interner>::Region>

fn expect_region(&self) -> <I as Interner>::Region

fn is_non_region_infer(self) -> bool

impl<'tcx> Hash for GenericArg<'tcx>

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a, 'tcx> HashStable<StableHashingContext<'a>> for GenericArg<'tcx>

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

impl<'tcx> IntoDiagArg for GenericArg<'tcx>

fn into_diag_arg(self) -> DiagArgValue

impl<'tcx> IntoKind for GenericArg<'tcx>

type Kind = GenericArgKind<TyCtxt<'tcx>>

fn kind(self) -> Self::Kind

impl<'tcx> Key for GenericArg<'tcx>

type Cache<V> = DefaultCache<GenericArg<'tcx>, V>

fn default_span(&self, _: TyCtxt<'_>) -> Span

In the event that a cycle occurs, if no explicit span has been given for a query with key self, what span should we use?

fn key_as_def_id(&self) -> Option<DefId>

If the key is a DefId or DefId–equivalent, return that DefId. Otherwise, return None.

fn ty_def_id(&self) -> Option<DefId>

impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for GenericArg<'a>

type Lifted = GenericArg<'tcx>

fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted>

impl<'tcx> PartialEq for GenericArg<'tcx>

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for GenericArg<'tcx>

fn print(&self, cx: &mut P) -> Result<(), PrintError>

impl<'tcx> Relate<TyCtxt<'tcx>> for GenericArg<'tcx>

fn relate<R: TypeRelation<TyCtxt<'tcx>>>( relation: &mut R, a: GenericArg<'tcx>, b: GenericArg<'tcx>, ) -> RelateResult<'tcx, GenericArg<'tcx>>

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for GenericArg<'tcx>

fn try_fold_with<F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, folder: &mut F, ) -> Result<Self, F::Error>

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<F>(self, folder: &mut F) -> Self

where F: TypeFolder<I>,

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for GenericArg<'tcx>

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

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl<'tcx> Copy for GenericArg<'tcx>

impl<'tcx> Eq for GenericArg<'tcx>

impl<'tcx> Send for GenericArg<'tcx>

where &'tcx (Ty<'tcx>, Region<'tcx>, Const<'tcx>): Send,

impl<'tcx> StructuralPartialEq for GenericArg<'tcx>

impl<'tcx> Sync for GenericArg<'tcx>

where &'tcx (Ty<'tcx>, Region<'tcx>, Const<'tcx>): Sync,

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes