List of all items

Structs

• Adjustment
• AdtId
• BoundVar
• CallableSig
• CapturedItem
• ComplexMemoryMap
• DebruijnIndex
• ImplTrait
• ImplTraits
• InferenceResult
• Interner
• OverloadedDeref
• TargetFeatures
• TyBuilder
• TyLoweringContext
• TyLoweringDiagnostic
• db::InternedClosure
• db::InternedClosureId
• db::InternedConstParamId
• db::InternedCoroutine
• db::InternedCoroutineId
• db::InternedLifetimeParamId
• db::InternedOpaqueTyId
• db::InternedTypeOrConstParamId
• diagnostics::IncorrectCase
• display::DisplayTarget
• display::HirDisplayWrapper
• display::HirFormatter
• generics::Generics
• layout::RustcEnumVariantIdx
• layout::RustcFieldIdx
• method_resolution::InherentImpls
• method_resolution::ReceiverAdjustments
• 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::BoundRegion
• next_solver::BoundTy
• next_solver::Const
• next_solver::ConstBytes
• next_solver::EarlyParamRegion
• next_solver::ErrorGuaranteed
• next_solver::ExprConst
• next_solver::ExternalConstraints
• next_solver::GenericArgs
• next_solver::LateParamRegion
• next_solver::ParamConst
• next_solver::ParamTy
• next_solver::PredefinedOpaques
• next_solver::Region
• next_solver::RegionAssumptions
• next_solver::SolverDefIds
• next_solver::Ty
• next_solver::Tys
• next_solver::Valtree
• next_solver::ValueConst
• next_solver::fold::FnMutDelegate
• 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::RegionObligation
• next_solver::infer::TypeTrace
• next_solver::infer::at::At
• 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::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::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::predicate::BoundExistentialPredicates
• next_solver::predicate::Clause
• next_solver::predicate::Clauses
• next_solver::predicate::InternedClausesWrapper
• next_solver::predicate::InternedWrapperNoDebug
• 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::TraitEnvironment

Enums

• Adjust
• AutoBorrow
• BindingMode
• CaptureKind
• CastError
• ConstScalar
• ConstScalarNs
• DropGlue
• FnAbi
• GenericArgsProhibitedReason
• ImplTraitId
• ImplTraitLoweringMode
• IncorrectGenericsLenKind
• InferenceDiagnostic
• InferenceTyDiagnosticSource
• LifetimeElisionKind
• MemoryMap
• Mutability
• ParamKind
• ParamLoweringMode
• PathGenericsSource
• PathLoweringDiagnostic
• PointerCast
• Safety
• Scalar
• TyDefId
• TyLoweringDiagnosticKind
• TyVariableKind
• Unsafety
• ValueTyDefId
• Variance
• consteval::ConstEvalError
• diagnostics::BodyValidationDiagnostic
• diagnostics::CaseType
• diagnostics::InsideUnsafeBlock
• diagnostics::UnsafetyReason
• display::ClosureStyle
• display::DisplayKind
• display::DisplayLifetime
• display::DisplaySourceCodeError
• display::HirDisplayError
• display::SizedByDefault
• dyn_compatibility::DynCompatibilityViolation
• dyn_compatibility::MethodViolationCode
• layout::LayoutError
• method_resolution::AutorefOrPtrAdjustment
• method_resolution::LookupMode
• method_resolution::TyFingerprint
• method_resolution::VisibleFromModule
• 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::SolverDefId
• next_solver::Term
• next_solver::TermVid
• next_solver::abi::Safety
• next_solver::infer::BoundRegionConversionTime
• next_solver::infer::StructurallyRelateAliases
• next_solver::infer::TyOrConstInferVar
• next_solver::infer::ValuePairs
• next_solver::infer::at::DefineOpaqueTypes
• 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

• Cast
• DynTyExt
• ProjectionTyExt
• ToChalk
• TraitRefExt
• TyExt
• TypeSuperVisitable
• TypeVisitable
• TypeVisitor
• consteval::ConstExt
• db::HirDatabase
• display::HirDisplay
• display::HirDisplayWithExpressionStore
• display::HirWrite
• method_resolution::MethodCandidateCallback
• next_solver::fold::BoundVarReplacerDelegate
• next_solver::infer::DbInternerInferExt
• next_solver::infer::PredicateEmittingRelation
• 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::mapping::ChalkToNextSolver
• next_solver::util::CoroutineArgsExt
• next_solver::util::FloatExt
• next_solver::util::IntegerExt
• next_solver::util::IntegerTypeExt
• next_solver::util::PrimitiveExt

Macros

• has_interner

Functions

• all_super_traits
• associated_type_shorthand_candidates
• autoderef::autoderef
• callable_sig_from_fn_trait
• collect_placeholders
• consteval::intern_const_ref
• consteval::intern_const_scalar
• consteval::try_const_isize
• consteval::try_const_usize
• consteval::unknown_const
• consteval::unknown_const_as_generic
• consteval::usize_const
• consteval_nextsolver::intern_const_ref
• consteval_nextsolver::try_const_isize
• consteval_nextsolver::try_const_usize
• consteval_nextsolver::unknown_const
• consteval_nextsolver::unknown_const_as_generic
• consteval_nextsolver::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
• 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
• error_lifetime
• from_assoc_type_id
• from_chalk_trait_id
• from_foreign_def_id
• from_placeholder_idx
• 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
• lt_from_placeholder_idx
• lt_to_placeholder_idx
• method_resolution::check_orphan_rules
• method_resolution::def_crates
• method_resolution::implements_trait
• method_resolution::implements_trait_unique
• method_resolution::is_dyn_method
• method_resolution::iterate_method_candidates_dyn
• method_resolution::iterate_path_candidates
• method_resolution::lookup_impl_const
• mir::borrowck_query
• mir::interpret_mir
• mir::lower_to_mir
• mir::mir_body_for_closure_query
• mir::mir_body_query
• mir::monomorphize_mir_body_bad
• 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::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::mapping::convert_args_for_result
• next_solver::mapping::convert_binder_to_early_binder
• next_solver::mapping::convert_canonical_args_for_result
• next_solver::mapping::convert_const_for_result
• next_solver::mapping::convert_region_for_result
• next_solver::mk_param
• 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::float_ty_to_string_ns
• primitive::int_ty_to_string
• primitive::int_ty_to_string_ns
• primitive::uint_ty_to_string
• primitive::uint_ty_to_string_ns
• replace_errors_with_variables
• setup_tracing
• static_lifetime
• to_assoc_type_id
• to_chalk_trait_id
• to_foreign_def_id
• to_placeholder_idx
• to_placeholder_idx_no_index
• traits::next_trait_solve
• traits::next_trait_solve_in_ctxt

Type Aliases

• AliasEq
• AliasTy
• AssocTypeId
• Binders
• Canonical
• CanonicalVarKinds
• ClosureId
• Const
• ConstValue
• FnDefId
• FnPointer
• ForeignDefId
• GenericArg
• GenericArgData
• ImplTraitIdx
• InEnvironment
• OpaqueTyId
• PlaceholderIndex
• PolyFnSig
• ProjectionTy
• QuantifiedWhereClause
• Substitution
• TraitRef
• Ty
• TyKind
• TypeFlags
• WhereClause
• 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::FxIndexMap
• next_solver::Goal
• next_solver::OpaqueTypeKey
• next_solver::PlaceholderConst
• next_solver::PlaceholderRegion
• next_solver::PlaceholderTy
• next_solver::PolyFnSig
• next_solver::PredefinedOpaquesData
• next_solver::TyKind
• next_solver::TypingMode
• next_solver::UnevaluatedConst
• next_solver::infer::InferResult
• 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::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