Modules§
Macros§
- ensure_
same_ type - get_
type - kvar
- Shorthand macro for constructing TypeVar::Known
Structs§
- Context
- Pipeline
State - Turbofish
Ctx - Type
State - State of the type inference algorithm
- Unification
Builder
Enums§
- Generic
List Source - Generic
List Token - Stored version of GenericListSource