[−] List of all items
Structs
- clauses::builder::ClauseBuilder
- coherence::CoherenceSolver
- coherence::SpecializationPriorities
- coherence::SpecializationPriority
- display::IdAliasStore
- display::InvertedBoundVar
- display::WriterState
- goal_builder::GoalBuilder
- infer::InferenceTable
- infer::ucanonicalize::UCanonicalized
- infer::unify::RelationResult
- logging_db::LoggingRustIrDatabase
- logging_db::WriteOnDropRustIrDatabase
- rust_ir::AdtDatum
- rust_ir::AdtDatumBound
- rust_ir::AdtFlags
- rust_ir::AdtRepr
- rust_ir::AdtVariantDatum
- rust_ir::AliasEqBound
- rust_ir::AssociatedTyDatum
- rust_ir::AssociatedTyDatumBound
- rust_ir::AssociatedTyValue
- rust_ir::AssociatedTyValueBound
- rust_ir::AssociatedTyValueId
- rust_ir::DefaultImplDatum
- rust_ir::DefaultImplDatumBound
- rust_ir::FnDefDatum
- rust_ir::FnDefDatumBound
- rust_ir::FnDefInputsAndOutputDatum
- rust_ir::GeneratorDatum
- rust_ir::GeneratorInputOutputDatum
- rust_ir::GeneratorWitnessDatum
- rust_ir::GeneratorWitnessExistential
- rust_ir::ImplDatum
- rust_ir::ImplDatumBound
- rust_ir::OpaqueTyDatum
- rust_ir::OpaqueTyDatumBound
- rust_ir::TraitBound
- rust_ir::TraitDatum
- rust_ir::TraitDatumBound
- rust_ir::TraitFlags
- solve::SolutionDisplay
- wf::WfSolver
Enums
- coherence::CoherenceError
- logging_db::RecordedItemId
- rust_ir::AdtKind
- rust_ir::ClosureKind
- rust_ir::ImplType
- rust_ir::InlineBound
- rust_ir::Polarity
- rust_ir::WellKnownTrait
- solve::Guidance
- solve::Solution
- solve::SubstitutionResult
- wf::WfError
Traits
- RustIrDatabase
- clauses::program_clauses::ToProgramClauses
- coinductive_goal::IsCoinductive
- ext::CanonicalExt
- ext::GoalExt
- infer::ParameterEnaVariableExt
- infer::ucanonicalize::UniverseMapExt
- rust_ir::Anonymize
- rust_ir::IntoWhereClauses
- solve::Solver
- split::Split
Macros
Functions
- clauses::program_clauses_for_env
- clauses::program_clauses_for_goal
- clauses::push_auto_trait_impls
- clauses::push_auto_trait_impls_generator_witness
- clauses::push_auto_trait_impls_opaque
- coherence::orphan::perform_orphan_check
- display::sanitize_debug_name
- display::write_items
- display::write_stub_items
- logging::with_tracing_logs
- solve::truncate::needs_truncation