Crate spade_typeinference

Crate spade_typeinference 

Source

Modules§

dump
equation
error
expression
fixed_types
method_resolution
mir_type_lowering
testutil
trace_stack
traits

Macros§

ensure_same_type
get_type
kvar
Shorthand macro for constructing TypeVar::Known

Structs§

Context
OwnedTypeState
State of the type inference algorithm
PipelineState
SharedTypeState
TurbofishCtx
TypeState
UnificationBuilder

Enums§

GenericListSource
GenericListToken
Stored version of GenericListSource

Traits§

HasType