List of all items
Structs
- ResolverOutput
- Specs
- TheoryFunc
- fhir::AliasReft
- fhir::AssocType
- fhir::BaseTy
- fhir::ConstArg
- fhir::Crate
- fhir::EnumDef
- fhir::Expr
- fhir::FhirId
- fhir::FieldDef
- fhir::FnDecl
- fhir::FnOutput
- fhir::FnSig
- fhir::FuncSort
- fhir::GenericParam
- fhir::GenericPredicates
- fhir::Generics
- fhir::Impl
- fhir::ImplAssocReft
- fhir::ImplItem
- fhir::Item
- fhir::ItemLocalId
- fhir::MutTy
- fhir::OpaqueTy
- fhir::ParamId
- fhir::PartialRes
- fhir::Path
- fhir::PathExpr
- fhir::PathSegment
- fhir::PolyFuncSort
- fhir::PolyTraitRef
- fhir::Qualifier
- fhir::RefineArg
- fhir::RefineParam
- fhir::RefinedBy
- fhir::Requires
- fhir::SortDecl
- fhir::SortPath
- fhir::SpecFunc
- fhir::StructDef
- fhir::Trait
- fhir::TraitAssocReft
- fhir::TraitItem
- fhir::Ty
- fhir::TyAlias
- fhir::TypeBinding
- fhir::VariantDef
- fhir::VariantIdx
- fhir::VariantRet
- fhir::WhereBoundPredicate
- fhir::lift::LiftCtxt
- fhir::lift::errors::UnsupportedHir
- global_env::GlobalEnv
- global_env::GlobalEnvInner
- global_env::Ident
- global_env::Map
- global_env::Symbol
- intern::InternStorage
- intern::Interned
- pretty::BoundVarName
- pretty::Env
- pretty::Join
- pretty::Parens
- pretty::PrettyCx
- pretty::WithCx
- queries::Providers
- queries::Queries
- queries::QueryErrAt
- rty::AdtDef
- rty::AdtDefData
- rty::AdtFlags
- rty::AdtSortDef
- rty::AdtSortDefData
- rty::AliasReft
- rty::AliasTy
- rty::AssocRefinement
- rty::AssocRefinements
- rty::Binder
- rty::BoundReft
- rty::BoundVar
- rty::BvSizeVid
- rty::Clause
- rty::ClosureOblig
- rty::ConstVid
- rty::CoroutineObligPredicate
- rty::ESpan
- rty::EarlyBinder
- rty::EarlyParamRegion
- rty::ExistentialTraitRef
- rty::FnOutput
- rty::FnSig
- rty::FnTraitPredicate
- rty::FuncSort
- rty::GenericParamDef
- rty::GenericPredicates
- rty::Generics
- rty::Invariant
- rty::KVar
- rty::KVid
- rty::Lambda
- rty::LocalTableInContext
- rty::LocalTableInContextMut
- rty::Name
- rty::NumVid
- rty::ParamSort
- rty::ParamTy
- rty::Path
- rty::PolyFuncSort
- rty::ProjectionPredicate
- rty::Qualifier
- rty::RefineParam
- rty::RefinementGenerics
- rty::RegionVid
- rty::ScalarInt
- rty::SortVid
- rty::SpecFunc
- rty::SpecFuncDecl
- rty::SpecFuncDefns
- rty::SubsetTy
- rty::TraitPredicate
- rty::TraitRef
- rty::TyS
- rty::TyVid
- rty::VariantIdx
- rty::VariantSig
- rty::WfckResults
- rty::canonicalize::CanonicalConstrTy
- rty::canonicalize::Hoister
- rty::evars::EVar
- rty::evars::EVarCtxt
- rty::evars::EVarCxId
- rty::evars::EVarGen
- rty::evars::EVarSol
- rty::evars::EVid
- rty::evars::UnsolvedEvar
- rty::expr::AliasReft
- rty::expr::BoundReft
- rty::expr::ESpan
- rty::expr::EarlyReftParam
- rty::expr::ExprS
- rty::expr::KVar
- rty::expr::KVid
- rty::expr::Lambda
- rty::expr::Name
- rty::expr::Path
- rty::fold::BottomUpFolder
- rty::normalize::BaseSpanner
- rty::normalize::Normalizer
- rty::normalize::SpecFuncDefns
- rty::projections::Normalizer
- rty::projections::TVarSubst
- rty::refining::Refiner
- rty::subst::BoundVarReplacer
- rty::subst::ConstGenericArgs
- rty::subst::EVarSubstFolder
- rty::subst::FnMutDelegate
- rty::subst::GenericArgsDelegate
- rty::subst::GenericsSubstFolder
- rty::subst::GenericsSubstForSort
- rty::subst::IdentitySubstDelegate
- rty::subst::RegionSubst
- rty::subst::SortSubst
- rustc::lowering::LoweringCtxt
- rustc::lowering::UnsupportedErr
- rustc::lowering::UnsupportedReason
- rustc::lowering::errors::UnsupportedLocalDecl
- rustc::lowering::errors::UnsupportedMir
- rustc::mir::BasicBlock
- rustc::mir::BasicBlockData
- rustc::mir::Body
- rustc::mir::BorrowData
- rustc::mir::CallArgs
- rustc::mir::FieldIdx
- rustc::mir::Instance
- rustc::mir::Local
- rustc::mir::LocalDecl
- rustc::mir::Location
- rustc::mir::Place
- rustc::mir::PlaceTy
- rustc::mir::SourceInfo
- rustc::mir::Statement
- rustc::mir::SwitchTargets
- rustc::mir::Terminator
- rustc::mir::UserTypeAnnotationIndex
- rustc::mir::VariantIdx
- rustc::ty::AdtDef
- rustc::ty::AdtDefData
- rustc::ty::AliasTy
- rustc::ty::Binder
- rustc::ty::BoundRegion
- rustc::ty::BoundVar
- rustc::ty::Clause
- rustc::ty::ClosureArgs
- rustc::ty::ClosureArgsParts
- rustc::ty::Const
- rustc::ty::ConstVid
- rustc::ty::CoroutineArgs
- rustc::ty::CoroutineArgsParts
- rustc::ty::DebruijnIndex
- rustc::ty::EarlyBinder
- rustc::ty::EarlyParamRegion
- rustc::ty::ExistentialTraitRef
- rustc::ty::FieldDef
- rustc::ty::FieldIdx
- rustc::ty::FnSig
- rustc::ty::GenericParamDef
- rustc::ty::GenericPredicates
- rustc::ty::Generics
- rustc::ty::LateParamRegion
- rustc::ty::OutlivesPredicate
- rustc::ty::ParamTy
- rustc::ty::ProjectionPredicate
- rustc::ty::RegionVid
- rustc::ty::ScalarInt
- rustc::ty::TraitPredicate
- rustc::ty::TraitRef
- rustc::ty::Ty
- rustc::ty::TyS
- rustc::ty::UnevaluatedConst
- rustc::ty::VariantDef
- rustc::ty::VariantIdx
Enums
- fhir::BaseTyKind
- fhir::BinOp
- fhir::ConstArgKind
- fhir::Ensures
- fhir::ExprKind
- fhir::ExprRes
- fhir::FluxItem
- fhir::FluxLocalDefId
- fhir::FluxOwnerId
- fhir::GenericArg
- fhir::GenericBound
- fhir::GenericParamKind
- fhir::Ignored
- fhir::ImplItemKind
- fhir::InferMode
- fhir::ItemKind
- fhir::Lifetime
- fhir::Lit
- fhir::Mutability
- fhir::Node
- fhir::ParamKind
- fhir::PrimSort
- fhir::PrimTy
- fhir::QPath
- fhir::RefineArgKind
- fhir::Res
- fhir::Sort
- fhir::SortRes
- fhir::SpecFuncKind
- fhir::StructKind
- fhir::TraitBoundModifier
- fhir::TraitItemKind
- fhir::Trusted
- fhir::TyKind
- fhir::UnOp
- pretty::KVarArgs
- queries::QueryErr
- rty::AggregateKind
- rty::BaseTy
- rty::BinOp
- rty::BoundReftKind
- rty::BoundRegionKind
- rty::BoundVariableKind
- rty::BvSize
- rty::ClauseKind
- rty::ClosureKind
- rty::Coercion
- rty::Constant
- rty::Ensures
- rty::ExistentialPredicate
- rty::ExprKind
- rty::FieldProj
- rty::FloatTy
- rty::GenericArg
- rty::GenericParamDefKind
- rty::HoleKind
- rty::IntTy
- rty::Loc
- rty::Mutability
- rty::NumVarValue
- rty::Opaqueness
- rty::PtrKind
- rty::Sort
- rty::SortArg
- rty::SortCtor
- rty::SortInfer
- rty::SortParamKind
- rty::TyKind
- rty::UintTy
- rty::UnOp
- rty::Var
- rty::canonicalize::CanonicalTy
- rty::evars::EVarState
- rty::expr::AggregateKind
- rty::expr::BinOp
- rty::expr::Constant
- rty::expr::ExprKind
- rty::expr::FieldProj
- rty::expr::HoleKind
- rty::expr::Loc
- rty::expr::UnOp
- rty::expr::Var
- rty::expr::pretty::Precedence
- rty::projections::Candidate
- rty::refining::TyOrBase
- rustc::mir::AggregateKind
- rustc::mir::AssertKind
- rustc::mir::BinOp
- rustc::mir::BorrowKind
- rustc::mir::CastKind
- rustc::mir::Constant
- rustc::mir::FakeBorrowKind
- rustc::mir::FakeReadCause
- rustc::mir::LocalKind
- rustc::mir::NullOp
- rustc::mir::Operand
- rustc::mir::PlaceElem
- rustc::mir::PointerCast
- rustc::mir::Rvalue
- rustc::mir::StatementKind
- rustc::mir::TerminatorKind
- rustc::mir::UnOp
- rustc::mir::UnwindAction
- rustc::mir::Variance
- rustc::ty::AliasKind
- rustc::ty::BoundRegionKind
- rustc::ty::BoundVariableKind
- rustc::ty::ClauseKind
- rustc::ty::ConstKind
- rustc::ty::ExistentialPredicate
- rustc::ty::FloatTy
- rustc::ty::GenericArg
- rustc::ty::GenericParamDefKind
- rustc::ty::InferConst
- rustc::ty::IntTy
- rustc::ty::Mutability
- rustc::ty::Region
- rustc::ty::TyKind
- rustc::ty::UintTy
Traits
- cstore::CrateStore
- fhir::visit::Visitor
- intern::Internable
- intern::SliceInternable
- pretty::FromOpt
- pretty::Pretty
- rty::fold::FallibleTypeFolder
- rty::fold::TypeFoldable
- rty::fold::TypeFolder
- rty::fold::TypeSuperFoldable
- rty::fold::TypeSuperVisitable
- rty::fold::TypeVisitable
- rty::fold::TypeVisitor
- rty::subst::BoundVarReplacerDelegate
- rty::subst::GenericsSubstDelegate
- rty::subst::SortSubstDelegate
- rustc::ty::subst::Subst
Macros
- _Bool
- _Int
- _Ref
- _Uint
- _define_scoped
- _format_args_cx
- _impl_debug_with_default_cx
- _join
- _parens
- _w
- _with_cx
- pretty::define_scoped
- pretty::format_args_cx
- pretty::impl_debug_with_default_cx
- pretty::join
- pretty::parens
- pretty::set_opts
- pretty::w
- pretty::with_cx
- queries::empty_query
- rty::Bool
- rty::Int
- rty::Ref
- rty::Uint
- rty::expr::impl_ops
- try_alloc_slice
- walk_list
Functions
- const_eval::scalar_int_to_mir_constant
- const_eval::scalar_int_to_rty_constant
- const_eval::scalar_int_to_rty_constant2
- const_eval::scalar_to_bits
- const_eval::scalar_to_int
- const_eval::scalar_to_uint
- const_eval::size_of_int_ty
- const_eval::size_of_uint_ty
- fhir::lift::lift_fn_decl
- fhir::lift::lift_type_alias
- fhir::visit::walk_alias_reft
- 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_fn_decl
- fhir::visit::walk_fn_output
- fhir::visit::walk_fn_sig
- 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_qpath
- fhir::visit::walk_refine_arg
- fhir::visit::walk_refine_param
- fhir::visit::walk_requires
- fhir::visit::walk_sort
- 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_type_binding
- fhir::visit::walk_variant
- fhir::visit::walk_variant_ret
- fhir::visit::walk_where_predicate
- pretty::def_id_to_string
- pretty::pprint_with_default_cx
- queries::lookup_extern
- queries::run_with_cache
- rty::int_invariants
- rty::projections::assemble_candidates_from_predicates
- rty::refining::refine_bound_variables
- rty::refining::refine_default
- rty::refining::refine_generic_param_def_kind
- rty::refining::refine_generics
- rty::subst::match_regions
- rty::uint_invariants
- rustc::lowering::lower_adt_def
- rustc::lowering::lower_alias_kind
- rustc::lowering::lower_binder
- rustc::lowering::lower_bound_region
- rustc::lowering::lower_bound_vars
- rustc::lowering::lower_clause
- rustc::lowering::lower_clause_kind
- rustc::lowering::lower_const
- rustc::lowering::lower_existential_predicate
- rustc::lowering::lower_field
- rustc::lowering::lower_fn_sig
- rustc::lowering::lower_generic_arg
- rustc::lowering::lower_generic_args
- rustc::lowering::lower_generic_param_def
- rustc::lowering::lower_generic_predicates
- rustc::lowering::lower_generics
- rustc::lowering::lower_item_bounds
- rustc::lowering::lower_place
- rustc::lowering::lower_region
- rustc::lowering::lower_trait_ref
- rustc::lowering::lower_ty
- rustc::lowering::lower_type_outlives
- rustc::lowering::lower_variant
- rustc::lowering::resolve_call_from
- rustc::lowering::resolve_call_query
- rustc::lowering::resolve_trait_ref_impl_id
- rustc::lowering::trait_ref_impl_id
- rustc::mir::mk_fake_predecessors
- rustc::mir::opt_bb_to_str
- rustc::mir::replicate_infer_ctxt
- rustc::ty::region_to_string
Type Aliases
- cstore::CrateStoreDyn
- cstore::OptResult
- fhir::Arena
- fhir::GenericBounds
- fhir::SortDecls
- fhir::lift::Result
- intern::Guard
- intern::InternMap
- intern::List
- queries::Cache
- queries::QueryResult
- rty::Expr
- rty::GenericArgs
- rty::ItemLocalMap
- rty::PolyFnSig
- rty::PolyVariant
- rty::PolyVariants
- rty::RefineArgs
- rty::SubsetTyCtor
- rty::Ty
- rty::TyCtor
- rty::TypeOutlivesPredicate
- rty::expr::Expr
- rustc::mir::LocalDecls
- rustc::ty::GenericArgs
- rustc::ty::PolyFnSig
- rustc::ty::TypeOutlivesPredicate