Module binder

Macros

• impl_binder_encode_decode 🔒

Structs

• ArgFolder 🔒
• Binder
  Binder is a binder for higher-ranked lifetimes or types. It is part of the compiler’s representation for things like for<'a> Fn(&'a isize) (which would be represented by the type PolyTraitRef == Binder<I, TraitRef>). Note that when we instantiate, erase, or otherwise “discharge” these bound vars, we change the type from Binder<I, T> to just T (see e.g., liberate_late_bound_regions).
• EarlyBinder
  Similar to super::Binder except that it tracks early bound generics, i.e. struct Foo<T>(T) needs T instantiated immediately. This type primarily exists to avoid forgetting to call instantiate.
• EarlyBinderIter
• IterInstantiated
• IterInstantiatedCopied
• ValidateBoundVars