List of all items

Structs

• clauses::builder::ClauseBuilder
• clauses::builtin_traits::unsize::ParameterOccurenceCheck
• clauses::builtin_traits::unsize::UnsizeParameterCollector
• clauses::env_elaborator::EnvElaborator
• clauses::generalize::Generalize
• coherence::CoherenceSolver
• coherence::SpecializationPriorities
• coherence::SpecializationPriority
• display::IdAliasStore
• display::InvertedBoundVar
• display::WriterState
• display::render_trait::DisplayRenderAsRust
• display::state::IdAliasStore
• display::state::IdAliases
• display::state::InternalWriterState
• display::state::InvertedBoundVar
• display::state::WriterState
• display::stub::StubWrapper
• goal_builder::GoalBuilder
• infer::InferenceSnapshot
• infer::InferenceTable
• infer::canonicalize::Canonicalized
• infer::canonicalize::Canonicalizer
• infer::invert::Inverter
• infer::ucanonicalize::UCanonicalized
• infer::ucanonicalize::UCollector
• infer::ucanonicalize::UMapFromCanonical
• infer::ucanonicalize::UMapToCanonical
• infer::unify::OccursCheck
• infer::unify::RelationResult
• infer::unify::Unifier
• infer::var::EnaVariable
• logging_db::LoggingRustIrDatabase
• logging_db::WriteOnDropRustIrDatabase
• logging_db::id_collector::IdCollector
• rust_ir::AdtDatum
• rust_ir::AdtDatumBound
• rust_ir::AdtFlags
• rust_ir::AdtRepr
• rust_ir::AdtSizeAlign
• rust_ir::AdtVariantDatum
• rust_ir::AliasEqBound
• rust_ir::AssociatedTyDatum
• rust_ir::AssociatedTyDatumBound
• rust_ir::AssociatedTyValue
• rust_ir::AssociatedTyValueBound
• rust_ir::AssociatedTyValueId
• rust_ir::CoroutineDatum
• rust_ir::CoroutineInputOutputDatum
• rust_ir::CoroutineWitnessDatum
• rust_ir::CoroutineWitnessExistential
• 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
• solve::SolutionDisplay
• solve::truncate::TySizeVisitor
• wf::InputTypeCollector
• wf::WfSolver
• wf::WfWellKnownConstraints

Enums

• coherence::CoherenceError
• display::state::UnifiedId
• infer::var::InferenceValue
• logging_db::RecordedItemId
• rust_ir::AdtKind
• rust_ir::ClosureKind
• rust_ir::ImplType
• rust_ir::InlineBound
• rust_ir::Movability
• rust_ir::Polarity
• rust_ir::WellKnownTrait
• solve::Guidance
• solve::Solution
• solve::SubstitutionResult
• wf::WfError

Traits

• RustIrDatabase
• clauses::program_clauses::ToProgramClauses
• coinductive_goal::IsCoinductive
• display::render_trait::RenderAsRust
• ext::CanonicalExt
• ext::GoalExt
• infer::ParameterEnaVariableExt
• infer::ucanonicalize::UniverseMapExt
• rust_ir::Anonymize
• rust_ir::IntoWhereClauses
• solve::Solver
• split::Split

Macros

• debug_span
• display::items::write_flags
• display::utils::write_joined_non_empty_list

Functions

• clauses::builtin_traits::add_builtin_assoc_program_clauses
• clauses::builtin_traits::add_builtin_program_clauses
• clauses::builtin_traits::clone::add_clone_program_clauses
• clauses::builtin_traits::copy::add_copy_program_clauses
• clauses::builtin_traits::copy::push_tuple_copy_conditions
• clauses::builtin_traits::coroutine::add_coroutine_program_clauses
• clauses::builtin_traits::discriminant_kind::add_discriminant_clauses
• clauses::builtin_traits::fn_family::add_fn_trait_program_clauses
• clauses::builtin_traits::fn_family::push_clauses
• clauses::builtin_traits::fn_family::push_clauses_for_apply
• clauses::builtin_traits::last_field_of_struct
• clauses::builtin_traits::needs_impl_for_tys
• clauses::builtin_traits::pointee::add_pointee_program_clauses
• clauses::builtin_traits::pointee::push_clauses
• clauses::builtin_traits::pointee::push_for_last_field
• clauses::builtin_traits::sized::add_sized_program_clauses
• clauses::builtin_traits::sized::push_adt_sized_conditions
• clauses::builtin_traits::sized::push_tuple_sized_conditions
• clauses::builtin_traits::tuple::add_tuple_program_clauses
• clauses::builtin_traits::unsize::add_unsize_program_clauses
• clauses::builtin_traits::unsize::auto_trait_ids
• clauses::builtin_traits::unsize::outer_binder_parameters_used
• clauses::builtin_traits::unsize::principal_id
• clauses::builtin_traits::unsize::uses_outer_binder_params
• clauses::constituent_types
• clauses::dyn_ty::build_dyn_self_ty_clauses
• clauses::env_elaborator::elaborate_env_clauses
• clauses::match_alias_ty
• clauses::match_ty
• clauses::program_clauses::fully_visible_program_clauses
• clauses::program_clauses::implied_bounds_program_clauses
• clauses::program_clauses::well_formed_program_clauses
• clauses::program_clauses_for_env
• clauses::program_clauses_for_goal
• clauses::program_clauses_that_could_match
• clauses::push_alias_alias_eq_clause
• clauses::push_alias_implemented_clause
• clauses::push_auto_trait_impls
• clauses::push_auto_trait_impls_coroutine_witness
• clauses::push_auto_trait_impls_opaque
• clauses::push_clauses_for_compatible_normalize
• clauses::push_program_clauses_for_associated_type_values_in_impls_of
• clauses::super_traits::push_trait_super_clauses
• clauses::super_traits::super_traits
• coherence::orphan::perform_orphan_check
• display::display_self_where_clauses_as_bounds
• display::display_trait_with_assoc_ty_value
• display::display_type_with_generics
• display::sanitize_debug_name
• display::utils::as_display
• display::utils::sanitize_debug_name
• display::write_item
• display::write_items
• display::write_stub_items
• logging::with_tracing_logs
• logging_db::id_collector::collect_unrecorded_ids
• solve::truncate::needs_truncation
• wf::compute_assoc_ty_goal
• wf::impl_header_wf_goal
• wf::impl_wf_environment

Type Aliases

• display::state::IndexWithinBinding
• infer::ParameterEnaVariable
• rust_ir::QuantifiedInlineBound