spade_
typeinference
0.13.0
Modules
constraints
dump
equation
error
expression
fixed_types
method_resolution
mir_type_lowering
replacement
requirements
testutil
trace_stack
traits
Macros
add_trace
ensure_same_type
get_type
kvar
Structs
Context
PipelineState
TurbofishCtx
TypeState
UnificationBuilder
Enums
GenericListSource
GenericListToken
Traits
HasType
spade_typeinference
Macro
add_trace
Copy item path
Settings
Help
Summary
Source
macro_rules! add_trace { ($self:expr, $($arg : tt) *) => { ... }; }