Module rustc_middle::ty::subst
source · Structs
Similar to
super::Binder except that it tracks early bound generics, i.e. struct Foo<T>(T)
needs T substituted immediately. This type primarily exists to avoid forgetting to call
subst.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.Specifies the user-given self type. In the case of a path that
refers to a member in an inherent impl, this self type is
sometimes needed to constrain the type parameters on the impl. For
example, in this code:
Stores the user-given substs to reach some fully qualified path
(e.g.,
<T>::Item or <T as Trait>::Item).Enums
Constants
Functions
This function goes from
&'a [Ty<'tcx>] to &'a [GenericArg<'tcx>]Type Definitions
List of generic arguments that are gonna be used to substitute generic parameters.