[−] List of all items
Structs
- Solver
- clauses::builder::ClauseBuilder
- coherence::CoherenceSolver
- coherence::SpecializationPriorities
- coherence::SpecializationPriority
- display::DefIdAliases
- display::DisplayRenderAsRust
- display::InvertedBoundVar
- display::WriterState
- goal_builder::GoalBuilder
- logging_db::LoggingRustIrDatabase
- logging_db::WriteOnDropRustIrDatabase
- recursive::lib::SolutionDisplay
- 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::ImplDatum
- rust_ir::ImplDatumBound
- rust_ir::OpaqueTyDatum
- rust_ir::OpaqueTyDatumBound
- rust_ir::TraitBound
- rust_ir::TraitDatum
- rust_ir::TraitDatumBound
- rust_ir::TraitFlags
- wf::WfSolver
Enums
- Guidance
- Solution
- SolverChoice
- SubstitutionResult
- coherence::CoherenceError
- logging_db::RecordedItemId
- recursive::lib::Guidance
- recursive::lib::Solution
- rust_ir::AdtKind
- rust_ir::ClosureKind
- rust_ir::ImplType
- rust_ir::InlineBound
- rust_ir::Polarity
- rust_ir::WellKnownTrait
- wf::WfError
Traits
- RustIrDatabase
- clauses::program_clauses::ToProgramClauses
- display::RenderAsRust
- ext::CanonicalExt
- ext::GoalExt
- rust_ir::Anonymize
- rust_ir::IntoWhereClauses
- split::Split
Macros
Functions
- clauses::program_clauses_for_env
- clauses::push_auto_trait_impls
- clauses::push_auto_trait_impls_opaque
- coherence::orphan::perform_orphan_check
- display::write_item
- display::write_items
- display::write_stub_items
- logging::with_tracing_logs