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
• checker::EqProvenance
• effects::Strictness
• ownership::OwnershipState

Functions

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

Type Aliases

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

Constants

• checker::BOOL_STRINGIFY_META_KEY
• checker::CUSTOM_EQ_META_KEY
• checker::DERIVE_EQ_META_KEY
• checker::INT_ARITH_META_KEY
• checker::LIST_CONCAT_META_KEY
• checker::RECV_KIND_META_KEY
• checker::STRING_CONCAT_META_KEY
• checker::USER_COMPARE_META_KEY
• checker::USER_EQ_META_KEY
• seed_imports::PRELUDE_FROM_CORE
• traits::SEALED_CORE_TRAITS
• traits::SEALED_PRIMITIVE_KEYS