List of all items

Structs

• Context
• PipelineState
• TurbofishCtx
• TypeState
• UnificationBuilder
• constraints::ConstraintContext
• constraints::ConstraintReplacement
• constraints::ConstraintRhs
• constraints::TypeConstraints
• equation::KnownTypeVar
• equation::TemplateTypeVarID
• equation::TypeVarID
• equation::TypeVarString
• error::TypeMismatch
• error::UnificationTrace
• replacement::ReplacementStack
• replacement::Replacements
• requirements::Replacement
• trace_stack::TraceStack
• traits::TraitImpl
• traits::TraitImplList
• traits::TraitList
• traits::TraitReq

Enums

• GenericListSource
• GenericListToken
• constraints::ConstraintExpr
• constraints::ConstraintSource
• equation::ResolvedNamedOrInverted
• equation::TypeVar
• equation::TypedExpression
• error::UnificationError
• method_resolution::FunctionLikeName
• method_resolution::Overlap
• requirements::ConstantInt
• requirements::Requirement
• requirements::RequirementResult
• trace_stack::TraceStackEntry

Traits

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

Macros

• add_trace
• ensure_same_type
• expression::assuming_kind
• get_type
• kvar

Functions

• constraints::bits_to_store
• constraints::ce_int
• constraints::ce_var
• dump::dump_types
• error::add_known_type_context
• error::error_pattern_type_mismatch
• fixed_types::lookup
• fixed_types::t_bit
• fixed_types::t_bool
• fixed_types::t_clock
• fixed_types::t_int
• fixed_types::t_uint
• method_resolution::expr_is_overlapping
• method_resolution::exprs_are_overlapping
• method_resolution::select_method
• method_resolution::spec_is_overlapping
• method_resolution::specs_are_overlapping
• testutil::sized_int
• trace_stack::format_trace_stack

Type Aliases

• equation::TypeEquations
• error::Result