Conversion from AST representation of types to the
The main routine here is
ast_ty_to_ty(); each use is parameterized by an
- A marker denoting that the generic arguments that were provided did not match the respective generic parameters.
- Decorates the result of a generic argument count mismatch check with whether explicit late bounds were provided.
- New-typed boolean indicating whether explicit late-bound lifetimes are present in a set of generic arguments.
- Denotes the “position” of a generic argument, indicating if it is a generic type, generic function or generic method call.