List of all items

Structs

• Context
• PipelineState
• TurbofishCtx
• TypeState
• UnificationBuilder
• equation::KnownTypeVar
• equation::TemplateTypeVarID
• equation::TypeVarID
• equation::TypeVarString
• error::TypeMismatch
• error::UnificationTrace
• trace_stack::TraceStack
• traits::TraitImpl
• traits::TraitImplList
• traits::TraitList
• traits::TraitReq

Enums

• GenericListSource
• GenericListToken
• equation::ResolvedNamedOrInverted
• equation::TypeVar
• equation::TypedExpression
• error::UnificationError
• method_resolution::FunctionLikeName
• trace_stack::TraceStackEntry

Traits

• HasType
• error::UnificationErrorExt
• method_resolution::IntoImplTarget
• mir_type_lowering::HasConcreteType

Macros

• ensure_same_type
• get_type
• kvar

Functions

• dump::dump_types
• error::error_pattern_type_mismatch
• fixed_types::t_bit
• fixed_types::t_bool
• fixed_types::t_clock
• fixed_types::t_int
• fixed_types::t_uint
• method_resolution::select_method
• testutil::sized_int
• trace_stack::format_trace_stack

Type Aliases

• equation::TypeEquations
• error::Result