Macros§
Structs§
- ArgFolder 🔒
- Binder
Binder
is a binder for higher-ranked lifetimes or types. It is part of the compiler’s representation for things likefor<'a> Fn(&'a isize)
(which would be represented by the typePolyTraitRef == Binder<I, TraitRef>
).- Early
Binder - Similar to
Binder
except that it tracks early bound generics, i.e.struct Foo<T>(T)
needsT
instantiated immediately. This type primarily exists to avoid forgetting to callinstantiate
. - Early
Binder Iter - Iter
Identity Copied - Iter
Instantiated - Iter
Instantiated Copied - Validate
Bound Vars
Enums§
- Bound
VarIndex Kind - Okay, we do something fun for
Bound
types/regions/consts: Specifically, we distinguish between canonically bound things andfor<>
bound things. And, really, it comes down to caching during canonicalization and instantiation.