Module subst

Structs§

BoundVarReplacer 🔒: Substitution for late bound variables
FnMutDelegate 🔒
GenericArgsDelegate 🔒: A substitution with an explicit list of generic arguments.
GenericsSubstFolder: 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.
GenericsSubstForSort 🔒: 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) an rty::GenericArg because conversion from fhir into rty requires 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 between fhir and rty.
SortSubst 🔒