Structs§
- Binder
- Reflects [
ty::Binder] - Bound
Region - Reflects [
ty::BoundRegion] - BoundTy
- Reflects [
ty::BoundTy] - Bound
TyRef - Canonical
- Reflects [
rustc_middle::infer::canonical::Canonical] - DynBinder
- A representation of
exists<T: Trait1 + Trait2>(value): we create a fresh type id and the appropriate trait clauses. The contained value may refer to the fresh ty and the in-scope trait clauses. This is used to represent types related todyn Trait. - Early
Param Region - Reflects [
ty::EarlyParamRegion] - Generic
Param Def - Reflects [
ty::GenericParamDef] - Late
Param Region - Reflects [
ty::LateParamRegion] - Param
Const - Reflects [
ty::ParamConst] - ParamTy
- Reflects [
ty::ParamTy] - Placeholder
- Reflects [
ty::Placeholder] - Region
- Reflects [
ty::Region] - TyGenerics
- Reflects [
ty::Generics]
Enums§
- Bound
Region Kind - Reflects [
ty::BoundRegionKind] - Bound
TyKind - Reflects [
ty::BoundTyKind] - Bound
VarIndex Kind - Reflects [
ty::BoundVarIndexKind] - Bound
Variable Kind - Reflects [
ty::BoundVariableKind] - Generic
Arg - Reflects both [
ty::GenericArg] and [ty::GenericArgKind] - Generic
Param DefKind - Reflects [
ty::GenericParamDefKind] - InferTy
- Reflects partially [
ty::InferTy] - Late
Param Region Kind - Reflects [
ty::LateParamRegionKind] - Region
Kind - Reflects [
ty::RegionKind] - Variance
- Reflects [
ty::Variance]
Traits§
- Binder
Variances 🔒 - Lets types declare how to compute the variance of bound parameters.
Type Aliases§
- Bound
Var - Canonical
User Type - Reflects [
ty::CanonicalUserType] - Debruijn
Index - Placeholder
Const - Reflects [
ty::PlaceholderConst] - Placeholder
Region - Reflects [
ty::PlaceholderRegion] - Placeholder
Ty - Reflects [
ty::PlaceholderType] - Region
Vid - Unit
Binder