List of all items

Structs

• PlaceTy
• ResolverOutput
• Specs
• TheoryFunc
• big_int::BigInt
• def_id::FluxId
• fhir::AssocItemConstraint
• fhir::AttrMap
• fhir::BareFnTy
• fhir::BaseTy
• fhir::ConstArg
• fhir::EnumDef
• fhir::Expr
• fhir::FhirId
• fhir::FieldDef
• fhir::FieldExpr
• fhir::FluxItems
• fhir::FnDecl
• fhir::FnOutput
• fhir::FnSig
• fhir::ForeignItem
• fhir::FuncSort
• fhir::GenericParam
• fhir::Generics
• fhir::Impl
• fhir::ImplAssocReft
• fhir::ImplItem
• fhir::Item
• fhir::ItemLocalId
• fhir::LetDecl
• fhir::MutTy
• fhir::OpaqueTy
• fhir::ParamId
• fhir::PartialRes
• fhir::Path
• fhir::PathExpr
• fhir::PathSegment
• fhir::PolyFuncSort
• fhir::PolyTraitRef
• fhir::PrimOpProp
• fhir::Qualifier
• fhir::Range
• fhir::RefineParam
• fhir::RefinedBy
• fhir::Requires
• fhir::SortDecl
• fhir::SortPath
• fhir::SpecFunc
• fhir::Spread
• fhir::StructDef
• fhir::Trait
• fhir::TraitAssocReft
• fhir::TraitItem
• fhir::Ty
• fhir::TyAlias
• fhir::VariantDef
• fhir::VariantIdx
• fhir::VariantRet
• fhir::WhereBoundPredicate
• global_env::GlobalEnv
• global_env::GlobalEnvInner
• global_env::Ident
• global_env::Symbol
• metrics::Entry
• metrics::FuncTiming
• metrics::Metrics
• metrics::QueryTiming
• metrics::TimingStats
• metrics::TimingsDump
• metrics::ms
• pretty::BoundVarEnv
• pretty::BoundVarLayer
• pretty::BoundVarName
• pretty::FnRootLayerMap
• pretty::Join
• pretty::NestedString
• pretty::Parens
• pretty::PrettyCx
• pretty::WithCx
• queries::Providers
• queries::Queries
• queries::QueryErrAt
• rty::AdtDef
• rty::AdtDefData
• rty::AdtFlags
• rty::AdtSortDef
• rty::AdtSortDefData
• rty::AdtSortVariant
• rty::AliasReft
• rty::AliasTy
• rty::AssocRefinements
• rty::AssocReft
• rty::Binder
• rty::BoundReft
• rty::BoundRegion
• rty::BoundVar
• rty::BvSizeVid
• rty::Clause
• rty::Const
• rty::ConstVid
• rty::CoroutineObligPredicate
• rty::DebruijnIndex
• rty::ESpan
• rty::EVid
• rty::EarlyBinder
• rty::EarlyParamRegion
• rty::EarlyReftParam
• rty::ExistentialProjection
• rty::ExistentialTraitRef
• rty::Expr
• rty::FnOutput
• rty::FnSig
• rty::FnTraitPredicate
• rty::FuncSort
• rty::GenericParamDef
• rty::GenericPredicates
• rty::Generics
• rty::Invariant
• rty::KVar
• rty::KVid
• rty::Lambda
• rty::LateParamRegion
• rty::LocalTableInContext
• rty::LocalTableInContextMut
• rty::Name
• rty::NumVid
• rty::OutlivesPredicate
• rty::ParamConst
• rty::ParamSort
• rty::ParamTy
• rty::Path
• rty::PolyFuncSort
• rty::PrimOpProp
• rty::PrimRel
• rty::ProjectionPredicate
• rty::Qualifier
• rty::Real
• rty::RefineParam
• rty::RefinementGenerics
• rty::RegionVid
• rty::ScalarInt
• rty::SortVid
• rty::SubsetTy
• rty::TraitPredicate
• rty::TraitRef
• rty::Ty
• rty::TyVid
• rty::VariantIdx
• rty::VariantSig
• rty::WfckResults
• rty::binder::Binder
• rty::binder::EarlyBinder
• rty::canonicalize::CanonicalConstrTy
• rty::canonicalize::Hoister
• rty::canonicalize::LocalHoister
• rty::expr::AliasReft
• rty::expr::BoundReft
• rty::expr::ESpan
• rty::expr::EVid
• rty::expr::EarlyReftParam
• rty::expr::Expr
• rty::expr::FieldBind
• rty::expr::KVar
• rty::expr::KVid
• rty::expr::Lambda
• rty::expr::Name
• rty::expr::Path
• rty::expr::Real
• rty::normalize::BaseSpanner
• rty::normalize::NormalizeInfo
• rty::normalize::NormalizedDefns
• rty::normalize::Normalizer
• rty::pretty::IdxFmt
• rty::refining::Refiner
• rty::region_matching::RegionSubst
• rty::subst::BoundVarReplacer
• rty::subst::FnMutDelegate
• rty::subst::GenericArgsDelegate
• rty::subst::GenericsSubstFolder
• rty::subst::GenericsSubstForSort
• rty::subst::SortSubst

Enums

• ExternSpecMappingErr
• FixpointQueryKind
• big_int::Sign
• def_id::MaybeExternId
• def_id::ResolvedDefId
• fhir::AliasReft
• fhir::AssocItemConstraintKind
• fhir::Attr
• fhir::BaseTyKind
• fhir::BinOp
• fhir::ConstArgKind
• fhir::Ensures
• fhir::ExprKind
• fhir::FluxItem
• fhir::FluxOwnerId
• fhir::ForeignItemKind
• fhir::GenericArg
• fhir::GenericBound
• fhir::GenericParamKind
• fhir::ImplItemKind
• fhir::InferMode
• fhir::ItemKind
• fhir::Lifetime
• fhir::Lit
• fhir::Mutability
• fhir::Node
• fhir::NumLitKind
• fhir::OwnerNode
• fhir::ParamKind
• fhir::PrimSort
• fhir::PrimTy
• fhir::QPath
• fhir::QPathExpr
• fhir::QuantKind
• fhir::RefinementKind
• fhir::Res
• fhir::Sort
• fhir::SortRes
• fhir::SpecFuncKind
• fhir::StructKind
• fhir::TraitBoundModifier
• fhir::TraitItemKind
• fhir::TyKind
• fhir::UnOp
• metrics::Metric
• metrics::TimingKind
• pretty::BoundVarLayerMap
• pretty::FnRootLayerType
• pretty::GenvOrTcx
• pretty::KVarArgs
• queries::ErrCtxt
• queries::QueryErr
• rty::AggregateKind
• rty::AliasKind
• rty::BaseTy
• rty::BinOp
• rty::BoundReftKind
• rty::BoundRegionKind
• rty::BoundVariableKind
• rty::BvSize
• rty::CastKind
• rty::ClauseKind
• rty::ClosureKind
• rty::Coercion
• rty::ConstKind
• rty::Constant
• rty::ConstantInfo
• rty::Ctor
• rty::Ensures
• rty::ExistentialPredicate
• rty::ExprKind
• rty::FieldProj
• rty::FloatTy
• rty::GenericArg
• rty::GenericParamDefKind
• rty::HoleKind
• rty::IntTy
• rty::InternalFuncKind
• rty::LateParamRegionKind
• rty::Loc
• rty::Mutability
• rty::NumVarValue
• rty::Opaqueness
• rty::PtrKind
• rty::Region
• rty::Sort
• rty::SortArg
• rty::SortCtor
• rty::SortInfer
• rty::SortParamKind
• rty::SpecFuncKind
• rty::TyKind
• rty::TyOrBase
• rty::TyOrCtor
• rty::UintTy
• rty::UnOp
• rty::Var
• rty::binder::BoundReftKind
• rty::binder::BoundVariableKind
• rty::canonicalize::CanonicalTy
• rty::expr::AggregateKind
• rty::expr::BinOp
• rty::expr::Constant
• rty::expr::Ctor
• rty::expr::ExprKind
• rty::expr::FieldProj
• rty::expr::HoleKind
• rty::expr::InternalFuncKind
• rty::expr::Loc
• rty::expr::SpecFuncKind
• rty::expr::UnOp
• rty::expr::Var
• rty::expr::pretty::Precedence

Traits

• PlaceExt
• cstore::CrateStore
• fhir::visit::Visitor
• pretty::FromOpt
• pretty::Pretty
• pretty::PrettyNested
• queries::DispatchKey
• rty::GenericArgsExt
• rty::RefineArgsExt
• rty::canonicalize::HoisterDelegate
• rty::fold::FallibleTypeFolder
• rty::fold::TypeFoldable
• rty::fold::TypeFolder
• rty::fold::TypeSuperFoldable
• rty::fold::TypeSuperVisitable
• rty::fold::TypeVisitable
• rty::fold::TypeVisitor
• rty::refining::Refine
• rty::subst::BoundVarReplacerDelegate
• rty::subst::GenericsSubstDelegate
• rty::subst::SortSubstDelegate

Macros

• _Bool
• _Char
• _Int
• _Ref
• _Uint
• _format_args_cx
• _format_cx
• _impl_debug_with_default_cx
• _join
• _parens
• _w
• _with_cx
• pretty::format_args_cx
• pretty::format_cx
• pretty::impl_debug_with_default_cx
• pretty::join
• pretty::parens
• pretty::set_opts
• pretty::w
• pretty::with_cx
• queries::empty_query
• query_bug
• rty::Bool
• rty::Char
• rty::Int
• rty::Ref
• rty::Uint
• rty::expr::impl_ops
• rty::fold::TrivialTypeTraversalImpls
• try_alloc_slice
• walk_list

Functions

• def_id_to_string
• fhir::visit::walk_alias_reft
• fhir::visit::walk_assoc_item_constraint
• fhir::visit::walk_bty
• fhir::visit::walk_ensures
• fhir::visit::walk_enum_def
• fhir::visit::walk_expr
• fhir::visit::walk_field_def
• fhir::visit::walk_field_expr
• fhir::visit::walk_flux_item
• fhir::visit::walk_fn_decl
• fhir::visit::walk_fn_output
• fhir::visit::walk_fn_sig
• fhir::visit::walk_foreign_item
• fhir::visit::walk_func
• fhir::visit::walk_func_sort
• fhir::visit::walk_generic_arg
• fhir::visit::walk_generic_bound
• fhir::visit::walk_generics
• fhir::visit::walk_impl
• fhir::visit::walk_impl_assoc_reft
• fhir::visit::walk_impl_item
• fhir::visit::walk_item
• fhir::visit::walk_node
• fhir::visit::walk_opaque_ty
• fhir::visit::walk_path
• fhir::visit::walk_path_segment
• fhir::visit::walk_poly_func_sort
• fhir::visit::walk_poly_trait_ref
• fhir::visit::walk_primop_prop
• fhir::visit::walk_qpath
• fhir::visit::walk_qpath_expr
• fhir::visit::walk_qualifier
• fhir::visit::walk_refine_param
• fhir::visit::walk_requires
• fhir::visit::walk_sort
• fhir::visit::walk_sort_decl
• fhir::visit::walk_sort_path
• fhir::visit::walk_struct_def
• fhir::visit::walk_trait_assoc_reft
• fhir::visit::walk_trait_item
• fhir::visit::walk_ty
• fhir::visit::walk_ty_alias
• fhir::visit::walk_variant
• fhir::visit::walk_variant_ret
• fhir::visit::walk_where_predicate
• metrics::dump_timings
• metrics::fmt_duration
• metrics::incr_metric
• metrics::incr_metric_if
• metrics::print_and_dump_timings
• metrics::print_report
• metrics::print_summary
• metrics::snd
• metrics::stats
• metrics::time_it
• name_of_thy_func
• pretty::debug_nested
• pretty::float_children
• pretty::pprint_with_default_cx
• queries::run_with_cache
• queries::try_query
• rty::canonicalize::is_indexed_slice
• rty::expr::pretty::aggregate_nested
• rty::expr::pretty::fmt_field_proj
• rty::expr::pretty::should_parenthesize
• rty::int_invariants
• rty::normalize::local_deps
• rty::normalize::toposort
• rty::pretty::fmt_alias_ty
• rty::pretty::format_fn_root_binder
• rty::pretty::nested_with_bound_vars
• rty::refining::refine_bound_variables
• rty::refining::refine_default
• rty::refining::refine_generic_param_def_kind
• rty::refining::refine_generics
• rty::region_matching::replace_regions_with_unique_vars
• rty::region_matching::rty_match_regions
• rty::region_matching::ty_match_regions
• rty::slice_invariants
• rty::to_closure_sig
• rty::uint_invariants
• sort_of_thy_func

Type Aliases

• cstore::CrateStoreDyn
• cstore::OptResult
• def_id::FluxDefId
• def_id::FluxLocalDefId
• fhir::Arena
• fhir::GenericBounds
• fhir::SortDecls
• pretty::EarlyParamEnv
• queries::Cache
• queries::QueryResult
• rty::BoundVariableKinds
• rty::Clauses
• rty::GenericArgs
• rty::ItemLocalMap
• rty::List
• rty::PolyExistentialPredicate
• rty::PolyExistentialTraitRef
• rty::PolyFnSig
• rty::PolyProjectionPredicate
• rty::PolyTraitPredicate
• rty::PolyTraitRef
• rty::PolyVariant
• rty::PolyVariants
• rty::RefineArgs
• rty::RegionOutlivesPredicate
• rty::SubsetTyCtor
• rty::TyCtor
• rty::TypeOutlivesPredicate
• rty::binder::BoundVariableKinds
• rty::binder::List

Statics

• DEFAULT_LOCALE_RESOURCE
• THEORY_FUNCS
• metrics::METRICS
• metrics::TIMINGS
• rty::INT_TYS
• rty::UINT_TYS

Constants

• metrics::BOLD
• metrics::GREY
• rty::FIRST_VARIANT
• rty::INNERMOST
• rty::SELF_PARAM_TY