List of all items

Structs

• Adjustment
• CapturedItem
• ComplexMemoryMap
• GenericPredicates
• ImplTraits
• InferenceResult
• OverloadedDeref
• TargetFeatures
• TyLoweringContext
• TyLoweringDiagnostic
• db::InternedClosure
• db::InternedClosureId
• db::InternedConstParamId
• db::InternedCoroutine
• db::InternedCoroutineId
• db::InternedLifetimeParamId
• db::InternedOpaqueTyId
• diagnostics::IncorrectCase
• display::DisplayTarget
• display::HirDisplayWrapper
• display::HirFormatter
• generics::Generics
• layout::RustcEnumVariantIdx
• layout::RustcFieldIdx
• method_resolution::Candidate
• method_resolution::CandidateStep
• method_resolution::CandidateWithPrivate
• method_resolution::InherentImpls
• method_resolution::MethodResolutionContext
• method_resolution::MethodResolutionUnstableFeatures
• method_resolution::Pick
• method_resolution::TraitImpls
• mir::BasicBlock
• mir::BorrowckResult
• mir::Evaluator
• mir::Local
• mir::MirBody
• mir::Operand
• mir::Place
• mir::ProjectionId
• mir::ProjectionStore
• mir::Statement
• mir::SwitchTargets
• mir::Terminator
• mir::VTableMap
• next_solver::AdtIdWrapper
• next_solver::BoundConst
• next_solver::BoundRegion
• next_solver::BoundTy
• next_solver::CallableIdWrapper
• next_solver::ClosureIdWrapper
• next_solver::Const
• next_solver::ConstBytes
• next_solver::CoroutineIdWrapper
• next_solver::EarlyParamRegion
• next_solver::ErrorGuaranteed
• next_solver::ExprConst
• next_solver::ExternalConstraints
• next_solver::GeneralConstIdWrapper
• next_solver::GenericArgs
• next_solver::ImplIdWrapper
• next_solver::LateParamRegion
• next_solver::ParamConst
• next_solver::ParamTy
• next_solver::PredefinedOpaques
• next_solver::Region
• next_solver::RegionAssumptions
• next_solver::SolverDefIds
• next_solver::TraitIdWrapper
• next_solver::Ty
• next_solver::TypeAliasIdWrapper
• next_solver::Tys
• next_solver::Valtree
• next_solver::ValueConst
• next_solver::fold::FnMutDelegate
• next_solver::fulfill::FulfillmentCtxt
• next_solver::fulfill::StalledOnCoroutines
• next_solver::generics::GenericParamDef
• next_solver::generics::Generics
• next_solver::infer::FixupError
• next_solver::infer::InferCtxt
• next_solver::infer::InferCtxtBuilder
• next_solver::infer::InferCtxtInner
• next_solver::infer::InferOk
• next_solver::infer::MemberConstraint
• next_solver::infer::TypeOutlivesConstraint
• next_solver::infer::TypeTrace
• next_solver::infer::at::At
• next_solver::infer::canonical::QueryRegionConstraints
• next_solver::infer::canonical::QueryResponse
• next_solver::infer::canonical::canonicalizer::OriginalQueryValues
• next_solver::infer::opaque_types::OpaqueHiddenType
• next_solver::infer::region_constraints::RegionConstraintCollector
• next_solver::infer::region_constraints::RegionConstraintData
• next_solver::infer::region_constraints::RegionConstraintStorage
• next_solver::infer::region_constraints::RegionVariableInfo
• next_solver::infer::region_constraints::Verify
• next_solver::infer::region_constraints::VerifyIfEq
• next_solver::infer::relate::solver_relating::SolverRelating
• next_solver::infer::resolve::OpportunisticVarResolver
• next_solver::infer::resolve::ReplaceInferWithError
• next_solver::interner::AdtDef
• next_solver::interner::AdtDefInner
• next_solver::interner::AdtFlags
• next_solver::interner::AllocId
• next_solver::interner::BoundVarKinds
• next_solver::interner::CanonicalVars
• next_solver::interner::DbInterner
• next_solver::interner::DepNodeIndex
• next_solver::interner::Features
• next_solver::interner::InternedWrapperNoDebug
• next_solver::interner::PatList
• next_solver::interner::Pattern
• next_solver::interner::Placeholder
• next_solver::interner::Span
• next_solver::interner::Tracked
• next_solver::interner::UnsizingParams
• next_solver::interner::VariancesOf
• next_solver::interner::VariantIdx
• next_solver::obligation_ctxt::ObligationCtxt
• next_solver::predicate::BoundExistentialPredicates
• next_solver::predicate::Clause
• next_solver::predicate::Clauses
• next_solver::predicate::InternedClausesWrapper
• next_solver::predicate::ParamEnv
• next_solver::predicate::ParamEnvAnd
• next_solver::predicate::Predicate
• next_solver::util::BottomUpFolder
• next_solver::util::ContainsTypeErrors
• next_solver::util::Discr
• next_solver::util::MaxUniverse
• next_solver::util::PlaceholderReplacer
• traits::ParamEnvAndCrate

Enums

• Adjust
• AutoBorrow
• BindingMode
• CaptureKind
• CastError
• FnAbi
• GenericArgsProhibitedReason
• ImplTraitId
• IncorrectGenericsLenKind
• InferenceDiagnostic
• InferenceTyDiagnosticSource
• LifetimeElisionKind
• MemoryMap
• PathGenericsSource
• PathLoweringDiagnostic
• PointerCast
• TargetFeatureIsSafeInTarget
• TyDefId
• TyLoweringDiagnosticKind
• Unsafety
• ValueTyDefId
• consteval::ConstEvalError
• diagnostics::BodyValidationDiagnostic
• diagnostics::CaseType
• diagnostics::InsideUnsafeBlock
• diagnostics::UnsafetyReason
• display::ClosureStyle
• display::DisplayKind
• display::DisplayLifetime
• display::DisplaySourceCodeError
• display::HirDisplayError
• display::SizedByDefault
• drop::DropGlue
• dyn_compatibility::DynCompatibilityViolation
• dyn_compatibility::MethodViolationCode
• layout::LayoutError
• method_resolution::CandidateId
• method_resolution::CandidateKind
• method_resolution::CandidateSource
• method_resolution::MethodError
• method_resolution::Mode
• method_resolution::PickKind
• mir::AggregateKind
• mir::BinOp
• mir::BorrowKind
• mir::CastKind
• mir::MirEvalError
• mir::MirLowerError
• mir::MirSpan
• mir::MutBorrowKind
• mir::MutabilityReason
• mir::OperandKind
• mir::ProjectionElem
• mir::Rvalue
• mir::StatementKind
• mir::TerminatorKind
• mir::UnOp
• next_solver::BoundRegionKind
• next_solver::BoundTyKind
• next_solver::Ctor
• next_solver::GenericArg
• next_solver::Mutability
• next_solver::SolverDefId
• next_solver::Term
• next_solver::TermVid
• next_solver::abi::Safety
• next_solver::fulfill::NextSolverError
• next_solver::infer::BoundRegionConversionTime
• next_solver::infer::TyOrConstInferVar
• next_solver::infer::ValuePairs
• next_solver::infer::region_constraints::Constraint
• next_solver::infer::region_constraints::GenericKind
• next_solver::infer::region_constraints::VerifyBound
• next_solver::infer::relate::StructurallyRelateAliases
• next_solver::infer::relate::VarianceDiagInfo
• next_solver::infer::relate::solver_relating::StructurallyRelateAliases
• next_solver::infer::relate::solver_relating::VarianceDiagInfo
• next_solver::interner::BoundVarKind
• next_solver::interner::VariantDef
• primitive::BuiltinFloat
• primitive::BuiltinInt
• primitive::BuiltinUint
• primitive::FloatTy
• primitive::IntTy
• primitive::UintTy
• traits::FnTrait
• traits::NextTraitSolveResult

Traits

• db::HirDatabase
• display::HirDisplay
• display::HirDisplayWithExpressionStore
• display::HirWrite
• next_solver::fold::BoundVarReplacerDelegate
• next_solver::infer::DbInternerInferExt
• next_solver::infer::at::ToTrace
• next_solver::infer::canonical::instantiate::CanonicalExt
• next_solver::infer::relate::PredicateEmittingRelation
• next_solver::infer::relate::Relate
• next_solver::infer::relate::TypeRelation
• next_solver::infer::relate::combine::PredicateEmittingRelation
• next_solver::infer::relate::solver_relating::Relate
• next_solver::infer::relate::solver_relating::RelateExt
• next_solver::infer::relate::solver_relating::TypeRelation
• next_solver::util::CoroutineArgsExt
• next_solver::util::FloatExt
• next_solver::util::IntegerExt
• next_solver::util::IntegerTypeExt
• next_solver::util::PrimitiveExt

Functions

• all_super_traits
• associated_type_shorthand_candidates
• autoderef::autoderef
• callable_sig_from_fn_trait
• collect_params
• collect_type_inference_vars
• consteval::intern_const_ref
• consteval::try_const_isize
• consteval::try_const_usize
• consteval::unknown_const
• consteval::unknown_const_as_generic
• consteval::usize_const
• could_coerce
• could_unify
• could_unify_deeply
• diagnostics::incorrect_case
• diagnostics::missing_unsafe
• diagnostics::record_literal_missing_fields
• diagnostics::record_pattern_missing_fields
• diagnostics::unsafe_operations
• diagnostics::unsafe_operations_for_body
• direct_super_traits
• display::hir_display_with_store
• display::write_bounds_like_dyn_trait_with_prefix
• display::write_visibility
• drop::has_drop_glue
• dyn_compatibility::dyn_compatibility
• dyn_compatibility::dyn_compatibility_of_trait_query
• dyn_compatibility::dyn_compatibility_of_trait_with_callback
• dyn_compatibility::dyn_compatibility_with_callback
• dyn_compatibility::generics_require_sized_self
• generics::generics
• is_fn_unsafe_to_call
• known_const_to_ast
• lang_items::is_box
• lang_items::lang_items_for_bin_op
• layout::layout_of_adt_query
• layout::layout_of_ty_query
• layout::target_data_layout_query
• method_resolution::is_dyn_method
• method_resolution::lookup_impl_const
• method_resolution::simplified_type_module
• method_resolution::with_incoherent_inherent_impls
• mir::borrowck_query
• mir::interpret_mir
• mir::lower_to_mir
• mir::mir_body_for_closure_query
• mir::mir_body_query
• mir::monomorphized_mir_body_for_closure_query
• mir::monomorphized_mir_body_query
• mir::pad16
• mir::render_const_using_debug_impl
• next_solver::error_for_param_kind
• next_solver::fold::fold_tys
• next_solver::infer::relate::combine::super_combine_consts
• next_solver::infer::relate::combine::super_combine_tys
• next_solver::infer::relate::relate_args_invariantly
• next_solver::infer::relate::relate_args_with_variances
• next_solver::infer::relate::solver_relating::relate_args_invariantly
• next_solver::infer::relate::solver_relating::relate_args_with_variances
• next_solver::infer::relate::solver_relating::structurally_relate_consts
• next_solver::infer::relate::solver_relating::structurally_relate_tys
• next_solver::infer::relate::structurally_relate_consts
• next_solver::infer::relate::structurally_relate_tys
• next_solver::interner::attach_db
• next_solver::interner::attach_db_allow_change
• next_solver::interner::clear_tls_solver_cache
• next_solver::interner::with_attached_db
• next_solver::mk_param
• next_solver::normalize::deeply_normalize
• next_solver::normalize::deeply_normalize_with_skipped_universes
• next_solver::normalize::deeply_normalize_with_skipped_universes_and_ambiguous_coroutine_goals
• next_solver::references_non_lt_error
• next_solver::util::apply_args_to_binder
• next_solver::util::explicit_item_bounds
• next_solver::util::sizedness_constraint_for_ty
• next_solver::util::sizedness_fast_path
• param_idx
• primitive::float_ty_to_string
• primitive::int_ty_to_string
• primitive::uint_ty_to_string
• replace_errors_with_variables
• setup_tracing
• target_feature_is_safe_in_target
• traits::check_orphan_rules
• traits::implements_trait_unique
• traits::implements_trait_unique_with_args
• traits::is_inherent_impl_coherent
• traits::next_trait_solve_canonical_in_ctxt
• traits::next_trait_solve_in_ctxt
• traits::structurally_normalize_ty

Type Aliases

• display::Result
• layout::Layout
• layout::TagEncoding
• layout::Variants
• mir::BasicBlockId
• mir::LocalId
• next_solver::AliasTy
• next_solver::Binder
• next_solver::Canonical
• next_solver::CanonicalQueryInput
• next_solver::CanonicalVarKind
• next_solver::CanonicalVarValues
• next_solver::ConstKind
• next_solver::EarlyBinder
• next_solver::ExternalConstraintsData
• next_solver::FnHeader
• next_solver::FnSig
• next_solver::FxIndexMap
• next_solver::Goal
• next_solver::ImplTraitIdx
• next_solver::OpaqueTypeKey
• next_solver::PlaceholderConst
• next_solver::PlaceholderRegion
• next_solver::PlaceholderTy
• next_solver::PolyFnSig
• next_solver::QueryResult
• next_solver::RegionKind
• next_solver::SimplifiedType
• next_solver::TyKind
• next_solver::TypeError
• next_solver::TypingMode
• next_solver::UnevaluatedConst
• next_solver::infer::InferResult
• next_solver::infer::canonical::QueryOutlivesConstraint
• next_solver::infer::region_constraints::VarInfos
• next_solver::infer::relate::RelateResult
• next_solver::infer::relate::solver_relating::RelateResult
• next_solver::interner::PatternKind
• next_solver::predicate::AliasTerm
• next_solver::predicate::ArgOutlivesPredicate
• next_solver::predicate::BoundExistentialPredicate
• next_solver::predicate::ClauseKind
• next_solver::predicate::CoercePredicate
• next_solver::predicate::ExistentialPredicate
• next_solver::predicate::ExistentialProjection
• next_solver::predicate::ExistentialTraitRef
• next_solver::predicate::NormalizesTo
• next_solver::predicate::OutlivesPredicate
• next_solver::predicate::PolyCoercePredicate
• next_solver::predicate::PolyExistentialProjection
• next_solver::predicate::PolyExistentialTraitRef
• next_solver::predicate::PolyProjectionPredicate
• next_solver::predicate::PolyRegionOutlivesPredicate
• next_solver::predicate::PolySubtypePredicate
• next_solver::predicate::PolyTraitPredicate
• next_solver::predicate::PolyTraitRef
• next_solver::predicate::PolyTypeOutlivesPredicate
• next_solver::predicate::PredicateKind
• next_solver::predicate::ProjectionPredicate
• next_solver::predicate::RegionOutlivesPredicate
• next_solver::predicate::SubtypePredicate
• next_solver::predicate::TraitPredicate
• next_solver::predicate::TraitRef
• next_solver::predicate::TypeOutlivesPredicate