List of all items

Structs

• Adjustment
• BindingMode
• ComplexMemoryMap
• FieldType
• GenericDefaults
• GenericDefaultsRef
• GenericPredicates
• InferenceResult
• OverloadedDeref
• ParamEnvAndCrate
• TargetFeatures
• TyLoweringContext
• TyLoweringResult
• closure_analysis::CaptureInfo
• closure_analysis::CaptureSourceStack
• closure_analysis::CapturedPlace
• closure_analysis::ClosureData
• closure_analysis::Place
• closure_analysis::Projection
• db::AnonConstId
• db::AnonConstLoc
• db::InternedClosure
• db::InternedClosureId
• db::InternedCoroutineClosureId
• db::InternedCoroutineId
• db::InternedOpaqueTyId
• diagnostics::IncorrectCase
• diagnostics::decl_check::DeclValidator
• diagnostics::decl_check::IncorrectCase
• diagnostics::decl_check::Replacement
• diagnostics::expr::Body
• diagnostics::expr::ExprValidator
• diagnostics::expr::FilterMapNextChecker
• diagnostics::expr::MatchArm
• diagnostics::match_check::FieldPat
• diagnostics::match_check::Pat
• diagnostics::match_check::PatCtxt
• diagnostics::match_check::WriteWith
• diagnostics::match_check::pat_analysis::EnumVariantContiguousIndex
• diagnostics::match_check::pat_analysis::MatchCheckCtx
• diagnostics::match_check::pat_util::EnumerateAndAdjust
• diagnostics::unsafe_check::MissingUnsafeResult
• diagnostics::unsafe_check::UnsafeVisitor
• display::DisplayTarget
• display::ExpressionStoreAdapter
• display::HirDisplayWrapper
• display::HirFormatter
• generics::Generics
• generics::ProvenanceSplit
• layout::RustcEnumVariantIdx
• layout::RustcFieldIdx
• method_resolution::Candidate
• method_resolution::CandidateStep
• method_resolution::CandidateWithPrivate
• method_resolution::InherentImpls
• method_resolution::MethodResolutionContext
• method_resolution::Pick
• method_resolution::TraitImpls
• mir::BasicBlock
• mir::Evaluator
• mir::FieldIndex
• mir::Local
• mir::MirBody
• mir::Operand
• mir::Place
• mir::PlaceTy
• mir::Projection
• mir::ProjectionStorage
• mir::Statement
• mir::StoredPlace
• mir::StoredProjection
• mir::SwitchTargets
• mir::Terminator
• mir::VTableMap
• mir_pretty::MirPrettyCtx
• next_solver::AdtDef
• next_solver::AdtIdWrapper
• next_solver::AllocId
• next_solver::Allocation
• next_solver::AllocationData
• next_solver::BoundExistentialPredicates
• next_solver::BoundExistentialPredicatesStorage
• next_solver::BoundVarKinds
• next_solver::BoundVarKindsStorage
• next_solver::CallableIdWrapper
• next_solver::CanonicalVarKinds
• next_solver::CanonicalVarsStorage
• next_solver::CharTryFromScalarInt
• next_solver::Clause
• next_solver::Clauses
• next_solver::ClausesCachedTypeInfo
• next_solver::ClausesStorage
• next_solver::ClosureIdWrapper
• next_solver::Const
• next_solver::Consts
• next_solver::ConstsStorage
• next_solver::CoroutineClosureIdWrapper
• next_solver::CoroutineIdWrapper
• next_solver::DbInterner
• next_solver::DefaultAny
• next_solver::DefaultConsts
• next_solver::DefaultEmpty
• next_solver::DefaultRegions
• next_solver::DefaultTypes
• next_solver::DepNodeIndex
• next_solver::EarlyParamRegion
• next_solver::ErrorGuaranteed
• next_solver::ExprConst
• next_solver::ExternalConstraints
• next_solver::Features
• next_solver::FreeConstAliasId
• next_solver::FreeTermAliasId
• next_solver::FreeTyAliasId
• next_solver::GeneralConstIdWrapper
• next_solver::GenericArg
• next_solver::GenericArgs
• next_solver::GenericArgsStorage
• next_solver::ImplOrTraitAssocConstId
• next_solver::ImplOrTraitAssocTermId
• next_solver::ImplOrTraitAssocTyId
• next_solver::InherentAssocConstId
• next_solver::InherentAssocTermId
• next_solver::InherentAssocTyId
• next_solver::LateParamRegion
• next_solver::OpaqueTyIdWrapper
• next_solver::ParamConst
• next_solver::ParamEnv
• next_solver::ParamEnvAnd
• next_solver::ParamTy
• next_solver::PatList
• next_solver::PatListStorage
• next_solver::Pattern
• next_solver::PredefinedOpaques
• next_solver::PredefinedOpaquesStorage
• next_solver::Predicate
• next_solver::Region
• next_solver::RegionAssumptions
• next_solver::RegionAssumptionsStorage
• next_solver::ScalarInt
• next_solver::SolverDefIds
• next_solver::SolverDefIdsStorage
• next_solver::StoredAllocation
• next_solver::StoredBoundExistentialPredicates
• next_solver::StoredBoundVarKinds
• next_solver::StoredCanonicalVars
• next_solver::StoredClauses
• next_solver::StoredConst
• next_solver::StoredConsts
• next_solver::StoredEarlyBinder
• next_solver::StoredFnSig
• next_solver::StoredGenericArg
• next_solver::StoredGenericArgs
• next_solver::StoredPatList
• next_solver::StoredPolyFnSig
• next_solver::StoredPredefinedOpaques
• next_solver::StoredRegion
• next_solver::StoredRegionAssumptions
• next_solver::StoredSolverDefIds
• next_solver::StoredTraitRef
• next_solver::StoredTy
• next_solver::StoredTys
• next_solver::StoredVariancesOf
• next_solver::Symbol
• next_solver::Term
• next_solver::Tracked
• next_solver::TraitAssocConstId
• next_solver::TraitAssocTermId
• next_solver::TraitAssocTyId
• next_solver::TraitIdWrapper
• next_solver::Ty
• next_solver::TypeAliasIdWrapper
• next_solver::Tys
• next_solver::TysStorage
• next_solver::UnsizingParams
• next_solver::ValTree
• next_solver::ValueConst
• next_solver::VariancesOf
• next_solver::VariancesOfStorage
• next_solver::fold::FnMutDelegate
• next_solver::format_proof_tree::CandidateData
• next_solver::format_proof_tree::ProofTreeData
• next_solver::fulfill::FulfillmentCtxt
• next_solver::fulfill::StalledOnCoroutines
• next_solver::generics::Generics
• 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::errors::FulfillmentError
• next_solver::infer::errors::MismatchedProjectionTypes
• 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::infer::select::SignatureMismatchData
• next_solver::infer::traits::Obligation
• next_solver::infer::traits::ObligationCause
• next_solver::interner::AdtDef
• next_solver::interner::AllocId
• next_solver::interner::BoundVarKinds
• next_solver::interner::BoundVarKindsStorage
• next_solver::interner::CanonicalVarKinds
• next_solver::interner::CanonicalVarsStorage
• next_solver::interner::DbInterner
• next_solver::interner::DepNodeIndex
• next_solver::interner::Features
• next_solver::interner::PatList
• next_solver::interner::PatListStorage
• next_solver::interner::Pattern
• next_solver::interner::StoredBoundVarKinds
• next_solver::interner::StoredCanonicalVars
• next_solver::interner::StoredPatList
• next_solver::interner::StoredVariancesOf
• next_solver::interner::Symbol
• next_solver::interner::Tracked
• next_solver::interner::UnsizingParams
• next_solver::interner::VariancesOf
• next_solver::interner::VariancesOfStorage
• next_solver::obligation_ctxt::ObligationCtxt
• next_solver::predicate::BoundExistentialPredicates
• next_solver::predicate::BoundExistentialPredicatesStorage
• next_solver::predicate::Clause
• next_solver::predicate::Clauses
• next_solver::predicate::ClausesCachedTypeInfo
• next_solver::predicate::ClausesStorage
• next_solver::predicate::ParamEnv
• next_solver::predicate::ParamEnvAnd
• next_solver::predicate::Predicate
• next_solver::predicate::StoredBoundExistentialPredicates
• next_solver::predicate::StoredClauses
• next_solver::util::BottomUpFolder
• next_solver::util::ContainsTypeErrors
• next_solver::util::Discr
• next_solver::util::MaxUniverse
• next_solver::util::PlaceholderReplacer
• solver_errors::SolverDiagnostic
• solver_errors::StoredTraitPredicate
• traits::ParamEnvAndCrate
• traits::StoredParamEnvAndCrate

Enums

• Adjust
• AutoBorrow
• ByRef
• CastError
• ExplicitDropMethodUseKind
• GenericArgsProhibitedReason
• ImplTraitId
• IncorrectGenericsLenKind
• InferBodyId
• InferenceDiagnostic
• LifetimeElisionKind
• LifetimeLoweringMode
• LoweringMode
• MemoryMap
• PathGenericsSource
• PathLoweringDiagnostic
• PointerCast
• ReturnKind
• Span
• TargetFeatureIsSafeInTarget
• TyDefId
• TyLoweringDiagnostic
• Unsafety
• ValueTyDefId
• closure_analysis::BorrowKind
• closure_analysis::FakeReadCause
• closure_analysis::PlaceBase
• closure_analysis::ProjectionKind
• closure_analysis::UpvarCapture
• consteval::ConstEvalError
• db::GeneralConstId
• diagnostics::BodyValidationDiagnostic
• diagnostics::CaseType
• diagnostics::InsideUnsafeBlock
• diagnostics::UnsafetyReason
• diagnostics::decl_check::CaseType
• diagnostics::decl_check::IdentType
• diagnostics::expr::BodyValidationDiagnostic
• diagnostics::expr::Expr
• diagnostics::expr::Pat
• diagnostics::expr::RecordSpread
• diagnostics::expr::Statement
• diagnostics::expr::VariantId
• diagnostics::match_check::PatKind
• diagnostics::match_check::PatternError
• diagnostics::match_check::pat_analysis::Void
• diagnostics::unsafe_check::InsideUnsafeBlock
• diagnostics::unsafe_check::UnsafeDiagnostic
• diagnostics::unsafe_check::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::IsSigned
• mir::MirEvalError
• mir::MirLowerError
• mir::MirSpan
• mir::MutBorrowKind
• mir::OperandKind
• mir::ProjectionElem
• mir::Rvalue
• mir::StatementKind
• mir::TerminatorKind
• mir::UnOp
• mir_pretty::LocalName
• next_solver::AnyImplId
• next_solver::Ctor
• next_solver::Mutability
• next_solver::SolverDefId
• next_solver::TermId
• 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::errors::FulfillmentErrorCode
• 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::infer::select::EvaluationResult
• next_solver::infer::select::NotConstEvaluatable
• next_solver::infer::select::OverflowError
• next_solver::infer::select::SelectionError
• primitive::BuiltinFloat
• primitive::BuiltinInt
• primitive::BuiltinUint
• primitive::FloatTy
• primitive::IntTy
• primitive::UintTy
• solver_errors::SolverDiagnosticKind
• traits::FnTrait
• traits::WherePredicateEvaluation
• utils::TargetFeatureIsSafeInTarget
• utils::Unsafety

Traits

• TyLoweringInferVarsCtx
• db::HirDatabase
• diagnostics::match_check::pat_util::EnumerateAndAdjustIterator
• display::HirDisplay
• display::HirDisplayWithExpressionStore
• display::HirWrite
• mir_pretty::ConstEvalErrorPretty
• mir_pretty::MirBodyPretty
• mir_pretty::MirEvalErrorPretty
• mir_pretty::MirLowerErrorPretty
• mir_pretty::errors::ConstEvalErrorPretty
• mir_pretty::errors::MirEvalErrorPretty
• mir_pretty::errors::MirLowerErrorPretty
• next_solver::WorldExposer
• 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::interner::WorldExposer
• next_solver::util::CoroutineArgsExt
• next_solver::util::FloatExt
• next_solver::util::IntegerExt
• next_solver::util::IntegerTypeExt
• next_solver::util::PrimitiveExt

Macros

• impl_hir_database
• mir_pretty::w
• mir_pretty::wln

Functions

• all_super_traits
• associated_type_shorthand_candidates
• attach_db
• attach_db_allow_change
• autoderef
• autoderef::autoderef
• builtin_derive::generic_params_count
• builtin_derive::impl_super_outlives
• builtin_derive::impl_trait
• builtin_derive::param_env
• builtin_derive::predicates
• callable_sig_from_fn_trait
• check_orphan_rules
• collect_params
• consteval::allocation_as_isize
• consteval::allocation_as_usize
• consteval::try_const_isize
• consteval::try_const_usize
• consteval::usize_const
• could_coerce
• could_unify
• could_unify_deeply
• db::signature_anon_consts_and_diagnostics
• diagnostics::decl_check::case_conv::is_camel_case
• diagnostics::decl_check::case_conv::is_lower_snake_case
• diagnostics::decl_check::case_conv::is_snake_case
• diagnostics::decl_check::case_conv::is_upper_snake_case
• diagnostics::decl_check::case_conv::to_camel_case
• diagnostics::decl_check::case_conv::to_lower_snake_case
• diagnostics::decl_check::case_conv::to_upper_snake_case
• diagnostics::decl_check::incorrect_case
• diagnostics::expr::missing_match_arms
• diagnostics::expr::record_literal_missing_fields
• diagnostics::expr::record_pattern_missing_fields
• diagnostics::expr::types_of_subpatterns_do_match
• diagnostics::incorrect_case
• diagnostics::missing_unsafe
• diagnostics::record_literal_missing_fields
• diagnostics::record_pattern_missing_fields
• diagnostics::unsafe_check::missing_unsafe
• diagnostics::unsafe_check::unsafe_operations
• diagnostics::unsafe_operations
• direct_super_traits
• display::async_gen_item_ty_from_yield_ty
• display::generic_args_sans_defaults
• display::hir_display_with_store
• display::hir_fmt_generic_args
• display::hir_fmt_generic_arguments
• display::hir_fmt_generics
• display::hir_fmt_tys
• display::render_const_scalar
• display::render_const_scalar_from_valtree
• display::render_const_scalar_from_valtree_inner
• display::render_const_scalar_inner
• display::render_variant_after_name
• display::trait_bounds_need_parens
• display::write_bounds_like_dyn_trait
• display::write_bounds_like_dyn_trait_with_prefix
• display::write_params_bounds
• display::write_projection
• display::write_visibility
• drop::destructor
• 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
• infer_query_with_inspect
• inhabitedness::is_enum_variant_uninhabited_from
• inhabitedness::is_ty_uninhabited_from
• is_fn_unsafe_to_call
• known_const_to_ast
• lang_items::lang_items_for_bin_op
• layout::layout_of_adt_query
• layout::layout_of_ty_query
• layout::target_data_layout_query
• lifetime_param_idx
• method_resolution::is_dyn_method
• method_resolution::lookup_impl_const
• method_resolution::simplified_type_module
• method_resolution::with_incoherent_inherent_impls
• mir::interpret_mir
• mir::lower_body_to_mir
• mir::lower_to_mir_with_store
• 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::attach_db
• next_solver::attach_db_allow_change
• next_solver::clear_tls_solver_cache
• next_solver::collect_ty_garbage
• next_solver::default_types
• next_solver::error_for_param_kind
• next_solver::fold::fold_tys
• next_solver::format_proof_tree::dump_proof_tree_structured
• next_solver::infer::relate::combine::combine_ty_args
• 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::collect_ty_garbage
• 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::references_only_ty_error
• next_solver::util::apply_args_to_binder
• next_solver::util::sizedness_constraint_for_ty
• next_solver::util::sizedness_fast_path
• next_solver::with_attached_db
• 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::implements_trait_unique_with_infcx
• traits::is_inherent_impl_coherent
• traits::structurally_normalize_ty
• traits::where_predicate_must_hold
• type_or_const_param_idx
• utils::all_super_traits
• utils::detect_variant_from_bytes
• utils::direct_super_traits
• utils::fn_traits
• utils::is_fn_unsafe_to_call
• utils::target_feature_is_safe_in_target
• with_attached_db

Type Aliases

• diagnostics::expr::ExprId
• diagnostics::expr::LocalFieldId
• diagnostics::expr::PatId
• diagnostics::match_check::pat_analysis::DeconstructedPat
• diagnostics::match_check::pat_analysis::MatchArm
• diagnostics::match_check::pat_analysis::WitnessPat
• display::Result
• layout::Layout
• layout::TagEncoding
• layout::Variants
• mir::BasicBlockId
• mir::LocalId
• mir::PlaceElem
• next_solver::AliasTerm
• next_solver::AliasTermKind
• next_solver::AliasTy
• next_solver::AliasTyKind
• next_solver::ArgOutlivesPredicate
• next_solver::Binder
• next_solver::BoundConst
• next_solver::BoundExistentialPredicate
• next_solver::BoundRegion
• next_solver::BoundRegionKind
• next_solver::BoundTy
• next_solver::BoundTyKind
• next_solver::BoundVariableKind
• next_solver::Canonical
• next_solver::CanonicalQueryInput
• next_solver::CanonicalVarKind
• next_solver::CanonicalVarValues
• next_solver::ClauseKind
• next_solver::CoercePredicate
• next_solver::ConstKind
• next_solver::EarlyBinder
• next_solver::ExistentialPredicate
• next_solver::ExistentialProjection
• next_solver::ExistentialTraitRef
• next_solver::ExternalConstraintsData
• next_solver::FnHeader
• next_solver::FnSig
• next_solver::FnSigKind
• next_solver::FxIndexMap
• next_solver::GenericArgKind
• next_solver::Goal
• next_solver::HostEffectPredicate
• next_solver::ImplTraitIdx
• next_solver::NormalizesTo
• next_solver::OpaqueTypeKey
• next_solver::OutlivesPredicate
• next_solver::PatternKind
• next_solver::PlaceholderConst
• next_solver::PlaceholderRegion
• next_solver::PlaceholderType
• next_solver::PolyCoercePredicate
• next_solver::PolyExistentialProjection
• next_solver::PolyExistentialTraitRef
• next_solver::PolyFnSig
• next_solver::PolyProjectionPredicate
• next_solver::PolyRegionOutlivesPredicate
• next_solver::PolySubtypePredicate
• next_solver::PolyTraitPredicate
• next_solver::PolyTraitRef
• next_solver::PolyTypeOutlivesPredicate
• next_solver::PredicateKind
• next_solver::ProjectionPredicate
• next_solver::QueryResult
• next_solver::RegionConstraint
• next_solver::RegionKind
• next_solver::RegionOutlivesPredicate
• next_solver::SimplifiedType
• next_solver::SubtypePredicate
• next_solver::TermKind
• next_solver::TraitPredicate
• next_solver::TraitRef
• next_solver::TyKind
• next_solver::TypeError
• next_solver::TypeOutlivesPredicate
• next_solver::TypingMode
• next_solver::UnevaluatedConst
• next_solver::Unnormalized
• next_solver::ValTreeKind
• next_solver::infer::InferResult
• next_solver::infer::ObligationInspector
• 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::infer::traits::ObligationInspector
• next_solver::interner::BoundVariableKind
• 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::HostEffectPredicate
• 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

Constants

• display::TYPE_HINT_TRUNCATION