Structs§
- Substitution for late bound variables
- Substitution for existential variables
- A substitution with an explicit list of generic arguments.
- Substitution for generics, i.e., early bound types, lifetimes, const generics, and refinements. Note that a substitution for refinement parameters (a list of expressions) must always be specified, while the behavior of other generics parameters (types, lifetimes and consts) can be configured with
GenericsSubstDelegate. - A substitution meant to be used only for sorts. It’ll panic if used on a type. This is used to break cycles during wf checking. During wf-checking we use
rty::Sort, but we can’t yet generate (in general) anrty::GenericArgbecause conversion fromfhirintortyrequires the results of wf checking. Perhaps, we could also solve this problem by doing wf-checking with a different “IR” for sorts that sits in betweenfhirandrty.