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 }

pub fn walk_shallow( self, visited: &mut SsoHashSet<GenericArg<'tcx>> ) -> impl Iterator<Item = GenericArg<'tcx>>

Iterator that walks the immediate children of self. Hence Foo<Bar<i32>, u32> yields the sequence [Bar<i32>, u32] (but not i32, like walk).

Iterator only walks items once. It accepts visited set, updates it with all visited types and skips any types that are already there.

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> DebugWithInfcx<TyCtxt<'tcx>> for GenericArg<'tcx>

fn fmt<Infcx: InferCtxtLike<Interner = TyCtxt<'tcx>>>( this: WithInfcx<'_, Infcx, &Self>, f: &mut Formatter<'_> ) -> Result

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> 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> Key for GenericArg<'tcx>

type CacheSelector = DefaultCacheSelector<GenericArg<'tcx>>

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<'tcx> for GenericArg<'a>

type Lifted = GenericArg<'tcx>

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

impl<'tcx> Ord for GenericArg<'tcx>

fn cmp(&self, other: &GenericArg<'tcx>) -> Ordering

This method returns an Ordering between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

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

fn eq(&self, other: &GenericArg<'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 !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> PartialOrd for GenericArg<'tcx>

fn partial_cmp(&self, other: &GenericArg<'tcx>) -> Option<Ordering>

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

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

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

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

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

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

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

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

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

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

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

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

fn relate<R: TypeRelation<'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> DynSend for GenericArg<'tcx>

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

impl<'tcx> DynSync for GenericArg<'tcx>

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

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