List of all items

Structs

• TypeKind
• Unit
• db::ChalkDatabase
• error::ChalkError
• interner::ChalkIr
• interner::RawId
• lowering::env::AssociatedTyLookup
• lowering::env::Env
• lowering::program_lowerer::ProgramLowerer
• program::Program
• program_environment::ProgramEnvironment
• query::ArcEq
• query::CheckedProgramQuery
• query::CoherenceQuery
• query::EnvironmentQuery
• query::Lowering
• query::LoweringDatabaseGroupStorage__
• query::OrphanCheckQuery
• query::ProgramIrQuery
• query::ProgramTextQuery
• query::SolverChoiceQuery
• query::SolverQuery

Enums

• SolverChoice
• TypeSort
• error::RustIrError
• interner::ChalkFnAbi
• lowering::env::TypeLookup

Traits

• lowering::Kinded
• lowering::Lower
• lowering::LowerParameterMap
• lowering::LowerWithEnv
• lowering::program_lowerer::LowerTypeKind
• query::LoweringDatabase
• query::Upcast
• query::UpcastFrom
• tls::DebugContext

Macros

• arg
• empty_substitution
• lifetime
• lowering::lower_param_map
• lowering::program_lowerer::lower_type_kind
• ty

Functions

• lowering::get_type_of_usize
• lowering::lower_adt_size_align
• lowering::lower_goal
• query::checked_program
• query::coherence
• query::environment
• query::orphan_check
• query::program_ir
• query::solver
• tls::set_current_program
• tls::with_current_program

Type Aliases

• interner::Identifier
• lowering::env::AdtIds
• lowering::env::AdtKinds
• lowering::env::AssociatedTyLookups
• lowering::env::AssociatedTyValueIds
• lowering::env::AutoTraits
• lowering::env::ClosureIds
• lowering::env::ClosureKinds
• lowering::env::CoroutineIds
• lowering::env::CoroutineKinds
• lowering::env::FnDefIds
• lowering::env::FnDefKinds
• lowering::env::ForeignIds
• lowering::env::LowerResult
• lowering::env::OpaqueTyIds
• lowering::env::OpaqueTyVariableKinds
• lowering::env::ParameterMap
• lowering::env::TraitIds
• lowering::env::TraitKinds

Constants

• lowering::FIXME_SELF
• lowering::SELF
• tls::PROGRAM