List of all items

Structs

• EffectRef
• FnType
• GenericType
• NamedType
• Predicate
• StructuralConstraints
• Substitution
• capabilities::Capability
• capabilities::EffectRef
• checker::TypeChecker
• checker::TypeEnv
• effects::EffectRef
• ownership::OwnershipInfo
• traits::ImplEntry
• traits::ImplTable
• traits::ResolvedMethod
• traits::TraitRef
• vocab::AnnotationInfo
• vocab::StrictnessLevelInfo

Enums

• PrimitiveType
• Type
• TypeError
• effects::Strictness
• ownership::OwnershipState

Functions

• capabilities::compute_capabilities
• capabilities::verify_capabilities
• effects::infer_effects
• effects::track_effects
• exports::collect_exports
• exports::type_to_type_ref
• ownership::analyze_ownership
• seed_imports::seed_imports
• seed_imports::type_ref_to_type
• traits::check_supertrait_obligations
• traits::resolve_impl
• traits::resolve_method
• traits::type_key
• types_equal
• unify
• vocab::annotations
• vocab::strictness_levels
• vocab::strictness_name

Type Aliases

• TypeVarId
• capabilities::CapabilitySet
• ownership::AIRModule
• traits::ImplId