List of all items
Structs
- AdtDef
- AdtExpr
- Alias
- AnonConst
- Arm
- Ascription
- AssocItem
- AttrItem
- Attribute
- BasicBlockData
- Binder
- BindingMode
- Block
- BoundRegion
- BoundTy
- CORE_EXTRACTION_MODE
- Canonical
- CanonicalUserTypeAnnotation
- Clause
- ClosureArgs
- CoercePredicate
- ConstArg
- Constant
- ConstantFieldExpr
- CopyNonOverlapping
- Decorated
- DefId
- DefIdContents
- DelimArgs
- DisambiguatedDefPathItem
- DiscriminantValue
- EarlyParamRegion
- ExistentialProjection
- ExistentialTraitRef
- ExpnData
- FieldDef
- FieldExpr
- FieldPat
- FnDecl
- FnDef
- FnHeader
- FnSig
- ForeignItem
- FruInfo
- FullDef
- GenericParam
- GenericParamDef
- GenericPredicates
- Generics
- HashMap
- HirFieldDef
- HirId
- Impl
- ImplAssocItem
- ImplExpr
- ImplInfos
- ImplItem
- IndexVec
- Instance
- Item
- ItemAttributes
- LateParamRegion
- Loc
- LocalDecl
- LocalIdent
- MacroDef
- MacroInvokation
- MetaItemLit
- MirBody
- NormalAttr
- OpaqueTy
- OutlivesPredicate
- Param
- ParamConst
- ParamTy
- PatRange
- PathBuf
- PathSegment
- Place
- Placeholder
- Predicate
- PredicateId
- PredicateSearcher
- ProjectionPredicate
- RDefId
- RLocalDefId
- ROwnerId
- Rc
- Region
- ReprOptions
- ScalarInt
- Scope
- SourceInfo
- SourceScopeData
- SourceScopeLocalData
- Span
- Spanned
- Statement
- Stmt
- SubtypePredicate
- Terminator
- TraitItem
- TraitPredicate
- TraitRef
- Ty
- TyFnSig
- TyGenerics
- TypeAndMut
- TypeMap
- TypedConstantKind
- UsePath
- UserArgs
- UserSelfTy
- Variant
- VariantDef
- VariantInformations
- body::module::RDefId
- body::module::RLocalDefId
- body::module::ROwnerId
- constant_utils::ConstantFieldExpr
- deterministic_hash::DeterministicHasher
- id_table::Id
- id_table::Node
- id_table::Session
- id_table::Table
- id_table::WithTable
- id_table::heterogeneous_map::HeterogeneousMap
- id_table::serde_repr::NodeRepr
- id_table::serde_repr::Pair
- id_table::serde_repr::WithTableRepr
- index_vec::IndexVec
- mir_kinds::Built
- mir_kinds::CTFE
- mir_kinds::Elaborated
- mir_kinds::Optimized
- mir_kinds::Promoted
- prelude::HashMap
- prelude::PathBuf
- prelude::Rc
- rustc::TypeMap
- sinto::test::Foo
- state::Base
- state::FullDefMapper
- state::GlobalCache
- state::ItemCache
- state::LocalContextS
- state::State
- state::types::Base
- state::types::FullDefMapper
- state::types::GlobalCache
- state::types::ItemCache
- state::types::LocalContextS
- traits::ImplExpr
- traits::resolution::AnnotatedTraitPred
- traits::resolution::Candidate
- traits::resolution::ImplExpr
- traits::resolution::PredicateSearcher
- types::def_id::DefId
- types::def_id::DefIdContents
- types::def_id::DisambiguatedDefPathItem
- types::hir::AnonConst
- types::hir::AttrItem
- types::hir::Attribute
- types::hir::BindingMode
- types::hir::ConstArg
- types::hir::DelimArgs
- types::hir::FnDecl
- types::hir::FnDef
- types::hir::FnHeader
- types::hir::FnSig
- types::hir::ForeignItem
- types::hir::GenericParam
- types::hir::Generics
- types::hir::HirFieldDef
- types::hir::HirId
- types::hir::Impl
- types::hir::ImplItem
- types::hir::Item
- types::hir::MacroDef
- types::hir::MacroInvokation
- types::hir::MetaItemLit
- types::hir::NormalAttr
- types::hir::OpaqueTy
- types::hir::PathSegment
- types::hir::TraitItem
- types::hir::UsePath
- types::hir::Variant
- types::mir::BasicBlockData
- types::mir::Constant
- types::mir::CopyNonOverlapping
- types::mir::Instance
- types::mir::LocalDecl
- types::mir::MirBody
- types::mir::Place
- types::mir::ScalarInt
- types::mir::Scope
- types::mir::SourceInfo
- types::mir::SourceScopeData
- types::mir::SourceScopeLocalData
- types::mir::Statement
- types::mir::Terminator
- types::mir::mir_kinds::Built
- types::mir::mir_kinds::CTFE
- types::mir::mir_kinds::Elaborated
- types::mir::mir_kinds::Optimized
- types::mir::mir_kinds::Promoted
- types::new::full_def::FullDef
- types::new::full_def::ImplAssocItem
- types::new::impl_infos::ImplInfos
- types::new::item_attributes::CORE_EXTRACTION_MODE
- types::new::item_attributes::ItemAttributes
- types::new::predicate_id::PredicateId
- types::new::typed_constant_kind::TypedConstantKind
- types::new::variant_infos::VariantInformations
- types::serialize_int::signed::IntScalarVisitor
- types::serialize_int::unsigned::IntScalarVisitor
- types::span::ExpnData
- types::span::Loc
- types::span::Span
- types::span::Spanned
- types::thir::AdtExpr
- types::thir::Arm
- types::thir::Ascription
- types::thir::Block
- types::thir::FieldExpr
- types::thir::FieldPat
- types::thir::FruInfo
- types::thir::LocalIdent
- types::thir::Param
- types::thir::PatRange
- types::thir::Stmt
- types::ty::AdtDef
- types::ty::Alias
- types::ty::AssocItem
- types::ty::Binder
- types::ty::BoundRegion
- types::ty::BoundTy
- types::ty::Canonical
- types::ty::CanonicalUserTypeAnnotation
- types::ty::Clause
- types::ty::ClosureArgs
- types::ty::CoercePredicate
- types::ty::Decorated
- types::ty::DiscriminantValue
- types::ty::EarlyParamRegion
- types::ty::ExistentialProjection
- types::ty::ExistentialTraitRef
- types::ty::FieldDef
- types::ty::GenericParamDef
- types::ty::GenericPredicates
- types::ty::LateParamRegion
- types::ty::OutlivesPredicate
- types::ty::ParamConst
- types::ty::ParamTy
- types::ty::Placeholder
- types::ty::Predicate
- types::ty::ProjectionPredicate
- types::ty::Region
- types::ty::ReprOptions
- types::ty::SubtypePredicate
- types::ty::TraitPredicate
- types::ty::TraitRef
- types::ty::Ty
- types::ty::TyFnSig
- types::ty::TyGenerics
- types::ty::TypeAndMut
- types::ty::UserArgs
- types::ty::UserSelfTy
- types::ty::VariantDef
- utils::error_macros::s_expect_impls::Dummy
- utils::type_map::TypeMap
Enums
- Abi
- AdtFlags
- AdtKind
- AggregateKind
- AliasKind
- AliasRelationDirection
- Align
- AnalysisPhase
- AssertMessage
- AssocItemContainer
- AssocItemKind
- AssocKind
- AstPass
- AttrArgs
- AttrArgsEq
- AttrKind
- AttrStyle
- BasicBlock
- BinOp
- BlockSafety
- BorrowKind
- BoundRegionKind
- BoundTyKind
- BoundVariableKind
- ByRef
- CallSource
- CanonicalTyVarKind
- CanonicalVarInfo
- CastKind
- ClauseKind
- ClearCrossCrate
- ClosureKind
- CoercionSource
- CommentKind
- ConstAllocation
- ConstArgKind
- ConstantExprKind
- ConstantInt
- ConstantLiteral
- Constness
- CoroutineInfo
- CoverageKind
- CtorKind
- CtorOf
- DefKind
- DefPathItem
- Defaultness
- DelimSpan
- Delimiter
- DesugaringKind
- DiscriminantDefinition
- DynKind
- Edition
- ErrorGuaranteed
- ExistentialPredicate
- ExpnKind
- ExprKind
- FakeBorrowKind
- FakeReadCause
- FieldIdx
- FileName
- FloatTy
- FnRetTy
- ForeignItemKind
- FullDefKind
- FunOperand
- GenericArg
- GenericParamDefKind
- GenericParamKind
- HirGenericArgs
- ImplAssocItemValue
- ImplExprAtom
- ImplExprPathChunk
- ImplItemKind
- ImplPolarity
- ImplTraitInTraitData
- ImplicitSelfKind
- InferTy
- InlineAsm
- InlineAsmOperand
- InlineAsmOptions
- InlineAsmTemplatePiece
- InlineAttr
- InstanceKind
- IntTy
- IntUintTy
- IntegerType
- IsAsync
- IsAuto
- ItemKind
- LifetimeParamKind
- LintLevel
- LitFloatType
- LitIntType
- LitKind
- Local
- LocalInfo
- LogicalOp
- MacroKind
- MirPhase
- MirSource
- MissingLifetimeKind
- Movability
- MutBorrowKind
- NonDivergingIntrinsic
- NonMacroAttrKind
- NormalizesTo
- NullOp
- OpaqueTyOrigin
- Operand
- OwnerId
- ParamName
- PatKind
- PatRangeBoundary
- PlaceKind
- PointerCoercion
- PredicateKind
- PrimTy
- ProjectionElem
- ProjectionElemFieldKind
- QPath
- RangeEnd
- ReadSpanErr
- RealFileName
- RegionKind
- ReprFlags
- Res
- RetagKind
- RuntimePhase
- Rvalue
- Safety
- ScalarInt
- ScopeData
- SourceScope
- StatementKind
- StmtKind
- StrStyle
- SwitchTargets
- Term
- TerminatorKind
- TraitItemKind
- TranslateUnevalRes
- TyKind
- UintTy
- UnOp
- UnwindAction
- UnwindTerminateReason
- UseKind
- UserType
- UserTypeAnnotationIndex
- UserTypeProjection
- UserTypeProjections
- VarDebugInfo
- Variance
- VariantData
- VariantKind
- Visibility
- WhereEqPredicate
- WhereRegionPredicate
- constant_utils::ConstantExprKind
- constant_utils::ConstantInt
- constant_utils::ConstantLiteral
- constant_utils::rustc::TranslateUnevalRes
- id_table::Value
- rustc::ReadSpanErr
- rustc_utils::ReadSpanErr
- sinto::Foo
- traits::ImplExprAtom
- traits::ImplExprPathChunk
- traits::resolution::BoundPredicateOrigin
- traits::resolution::ImplExprAtom
- traits::resolution::PathChunk
- types::def_id::DefPathItem
- types::hir::Abi
- types::hir::AssocItemKind
- types::hir::AttrArgs
- types::hir::AttrArgsEq
- types::hir::AttrKind
- types::hir::AttrStyle
- types::hir::ByRef
- types::hir::CommentKind
- types::hir::ConstArgKind
- types::hir::Constness
- types::hir::CtorKind
- types::hir::CtorOf
- types::hir::DefKind
- types::hir::Defaultness
- types::hir::DelimSpan
- types::hir::Delimiter
- types::hir::FnRetTy
- types::hir::ForeignItemKind
- types::hir::GenericParamKind
- types::hir::HirGenericArgs
- types::hir::ImplItemKind
- types::hir::ImplPolarity
- types::hir::ImplicitSelfKind
- types::hir::InlineAsm
- types::hir::InlineAttr
- types::hir::IsAsync
- types::hir::IsAuto
- types::hir::ItemKind
- types::hir::LifetimeParamKind
- types::hir::LitFloatType
- types::hir::LitKind
- types::hir::MissingLifetimeKind
- types::hir::Movability
- types::hir::NonMacroAttrKind
- types::hir::OpaqueTyOrigin
- types::hir::OwnerId
- types::hir::ParamName
- types::hir::PrimTy
- types::hir::QPath
- types::hir::RangeEnd
- types::hir::Res
- types::hir::Safety
- types::hir::StrStyle
- types::hir::TraitItemKind
- types::hir::UseKind
- types::hir::VariantData
- types::hir::WhereEqPredicate
- types::hir::WhereRegionPredicate
- types::mir::AggregateKind
- types::mir::AnalysisPhase
- types::mir::AssertMessage
- types::mir::BasicBlock
- types::mir::BinOp
- types::mir::BorrowKind
- types::mir::CallSource
- types::mir::CastKind
- types::mir::ClearCrossCrate
- types::mir::CoercionSource
- types::mir::ConstAllocation
- types::mir::CoroutineInfo
- types::mir::CoverageKind
- types::mir::FakeBorrowKind
- types::mir::FakeReadCause
- types::mir::FieldIdx
- types::mir::FunOperand
- types::mir::InlineAsmOperand
- types::mir::InlineAsmOptions
- types::mir::InlineAsmTemplatePiece
- types::mir::InstanceKind
- types::mir::IntUintTy
- types::mir::Local
- types::mir::LocalInfo
- types::mir::MirPhase
- types::mir::MirSource
- types::mir::MutBorrowKind
- types::mir::NonDivergingIntrinsic
- types::mir::NullOp
- types::mir::Operand
- types::mir::PlaceKind
- types::mir::ProjectionElem
- types::mir::ProjectionElemFieldKind
- types::mir::RetagKind
- types::mir::RuntimePhase
- types::mir::Rvalue
- types::mir::ScopeData
- types::mir::SourceScope
- types::mir::StatementKind
- types::mir::SwitchTargets
- types::mir::TerminatorKind
- types::mir::UnOp
- types::mir::UnwindAction
- types::mir::UnwindTerminateReason
- types::mir::UserTypeAnnotationIndex
- types::mir::UserTypeProjection
- types::mir::UserTypeProjections
- types::mir::VarDebugInfo
- types::new::full_def::FullDefKind
- types::new::full_def::ImplAssocItemValue
- types::new::variant_infos::VariantKind
- types::span::AstPass
- types::span::DesugaringKind
- types::span::Edition
- types::span::ErrorGuaranteed
- types::span::ExpnKind
- types::span::FileName
- types::span::MacroKind
- types::span::RealFileName
- types::thir::BlockSafety
- types::thir::ExprKind
- types::thir::LintLevel
- types::thir::LogicalOp
- types::thir::PatKind
- types::thir::PatRangeBoundary
- types::thir::StmtKind
- types::ty::AdtFlags
- types::ty::AdtKind
- types::ty::AliasKind
- types::ty::AliasRelationDirection
- types::ty::Align
- types::ty::AssocItemContainer
- types::ty::AssocKind
- types::ty::BoundRegionKind
- types::ty::BoundTyKind
- types::ty::BoundVariableKind
- types::ty::CanonicalTyVarKind
- types::ty::CanonicalVarInfo
- types::ty::ClauseKind
- types::ty::ClosureKind
- types::ty::DiscriminantDefinition
- types::ty::DynKind
- types::ty::ExistentialPredicate
- types::ty::FloatTy
- types::ty::GenericArg
- types::ty::GenericParamDefKind
- types::ty::ImplTraitInTraitData
- types::ty::InferTy
- types::ty::IntTy
- types::ty::IntegerType
- types::ty::LitIntType
- types::ty::NormalizesTo
- types::ty::PointerCoercion
- types::ty::PredicateKind
- types::ty::RegionKind
- types::ty::ReprFlags
- types::ty::ScalarInt
- types::ty::Term
- types::ty::TyKind
- types::ty::UintTy
- types::ty::UserType
- types::ty::Variance
- types::ty::Visibility
Traits
- ConstantExt
- Deserialize
- ExprKindExt
- IsBody
- IsMirKind
- JsonSchema
- ParamEnv
- SExpect
- SInto
- Serialize
- SubstBinder
- TypeMapper
- body::module::IsBody
- constant_utils::rustc::ConstantExt
- id_table::heterogeneous_map::SupportedType
- mir_kinds::IsMirKind
- prelude::Deserialize
- prelude::JsonSchema
- prelude::Serialize
- rustc::ParamEnv
- rustc::SExpect
- rustc::SubstBinder
- rustc::TypeMapper
- rustc_utils::ParamEnv
- rustc_utils::SubstBinder
- sinto::SInto
- state::HasBase
- state::HasBaseSetter
- state::HasBinder
- state::HasBinderSetter
- state::HasMir
- state::HasMirSetter
- state::HasOwnerId
- state::HasOwnerIdSetter
- state::HasThir
- state::HasThirSetter
- state::WithGlobalCacheExt
- state::WithItemCacheExt
- types::mir::mir_kinds::rustc::IsMirKind
- types::thir::ExprKindExt
- utils::error_macros::SExpect
- utils::type_map::TypeMapper
Macros
- cfg_feature_rustc
- index_vec::make_idx_wrapper
- prelude::schema_for
- schema_for
- sinto::sinto_clone
- sinto_as_usize
- sinto_todo
- state::__inner_helper
- state::mk
- state::mk_aux
- state::mk_is_state_trait
- utils::error_macros::error
- utils::error_macros::fatal
- utils::error_macros::format_with_context
- utils::error_macros::internal_helpers::_span_verb_base
- utils::error_macros::internal_helpers::_verb
- utils::error_macros::report
- utils::error_macros::s_assert
- utils::error_macros::supposely_unreachable
- utils::error_macros::supposely_unreachable_fatal
- utils::error_macros::supposely_unreachable_message
- utils::error_macros::warning
Attribute Macros
Derive Macros
Functions
- argument_span_of_mac_call
- body::module::body_from_id
- body::module::get_thir
- body::module::make_fn_def
- body_from_id
- comments::comments_of_file
- const_value_to_constant_expr
- constant_utils::rustc::bits_and_type_to_float_constant_literal
- constant_utils::rustc::const_value_reference_to_constant_expr
- constant_utils::rustc::const_value_to_constant_expr
- constant_utils::rustc::is_anon_const
- constant_utils::rustc::scalar_int_to_constant_literal
- constant_utils::rustc::scalar_to_constant_expr
- constant_utils::rustc::trait_const_to_constant_expr_kind
- constant_utils::rustc::valtree_to_constant_expr
- erase_and_norm
- get_closest_parent_type
- get_def_kind
- get_def_span
- get_thir
- id_table::serialize_use_id
- implied_predicates
- inline_macro_invocations
- make_fn_def
- predicates_defined_on
- required_predicates
- rustc::argument_span_of_mac_call
- rustc::get_closest_parent_type
- rustc::inline_macro_invocations
- rustc::translate_span
- rustc_utils::argument_span_of_mac_call
- rustc_utils::attribute_from_scope
- rustc_utils::get_closest_parent_type
- rustc_utils::get_variant_information
- rustc_utils::inline_macro_invocations
- rustc_utils::macro_invocation_of_raw_mac_invocation
- rustc_utils::macro_invocation_of_span
- rustc_utils::raw_macro_invocation_of_span
- rustc_utils::read_span_from_file
- rustc_utils::translate_span
- self_clause_for_item
- self_predicate
- solve_item_implied_traits
- solve_item_required_traits
- solve_trait
- state::impl_def_ids_to_impled_types_and_bounds
- state::with_owner_id
- super_clause_to_clause_and_impl_expr
- traits::resolution::initial_search_predicates
- traits::resolution::parents_trait_predicates
- traits::resolution::shallow_resolve_trait_ref
- traits::self_clause_for_item
- traits::solve_item_implied_traits
- traits::solve_item_required_traits
- traits::solve_item_traits_inner
- traits::solve_trait
- traits::super_clause_to_clause_and_impl_expr
- traits::utils::erase_all_regions
- traits::utils::erase_and_norm
- traits::utils::implied_predicates
- traits::utils::predicates_defined_on
- traits::utils::required_predicates
- traits::utils::self_predicate
- translate_span
- types::def_id::translate_def_id
- types::hir::region_bounds_at_current_owner
- types::mir::get_function_from_def_id_and_generics
- types::mir::get_function_from_operand
- types::mir::name_of_local
- types::mir::translate_switch_targets
- types::mir::translate_terminator_kind_call
- types::new::full_def::get_def_attrs
- types::new::full_def::get_def_kind
- types::new::full_def::get_def_span
- types::new::full_def::get_def_visibility
- types::new::full_def::get_foreign_mod_children
- types::new::full_def::get_generic_predicates
- types::new::full_def::get_impl_contents
- types::new::full_def::get_item_predicates
- types::new::full_def::get_mod_children
- types::new::full_def::normalize_trait_clauses
- types::new::full_def::translate_full_def
- types::new::predicate_id::rustc::deterministic_hash
- types::serialize_int::signed::deserialize
- types::serialize_int::signed::serialize
- types::serialize_int::unsigned::deserialize
- types::serialize_int::unsigned::serialize
- types::ty::get_container_for_assoc_item
- utils::error_macros::s_expect_impls::s_expect_error
Type Aliases
- BasicBlocks
- BoundVar
- CanonicalUserType
- CanonicalUserTypeAnnotations
- ConstantExpr
- ConstantKind
- DebruijnIndex
- EnumDef
- Expr
- FirstStatementIndex
- GlobalIdent
- Ident
- ItemLocalId
- Mutability
- Pat
- Path
- PlaceholderConst
- PlaceholderRegion
- PlaceholderType
- PolyFnSig
- RegionOutlivesPredicate
- RegionVid
- Symbol
- ThirBody
- TokenStream
- TypeOutlivesPredicate
- UniverseIndex
- VariantIdx
- constant_utils::ConstantExpr
- constant_utils::ConstantKind
- id_table::serde_repr::SortedIdValuePairs
- state::MacroCalls
- state::RcMir
- state::RcThir
- state::StateWithBase
- state::StateWithBinder
- state::StateWithMir
- state::StateWithOwner
- state::StateWithThir
- state::UnitBinder
- state::types::MacroCalls
- state::types::RcMir
- state::types::RcThir
- state::types::UnitBinder
- traits::resolution::Path
- types::def_id::GlobalIdent
- types::def_id::Path
- types::def_id::Symbol
- types::hir::EnumDef
- types::hir::GenericBounds
- types::hir::Ident
- types::hir::Mutability
- types::hir::TokenStream
- types::mir::BasicBlocks
- types::mir::CanonicalUserTypeAnnotations
- types::mir::FirstStatementIndex
- types::mir::ItemLocalId
- types::new::variant_infos::VariantIdx
- types::thir::Expr
- types::thir::Pat
- types::thir::ThirBody
- types::ty::BoundVar
- types::ty::CanonicalUserType
- types::ty::DebruijnIndex
- types::ty::PlaceholderConst
- types::ty::PlaceholderRegion
- types::ty::PlaceholderType
- types::ty::PolyFnSig
- types::ty::RegionOutlivesPredicate
- types::ty::RegionVid
- types::ty::TypeOutlivesPredicate
- types::ty::UniverseIndex
Trait Aliases
- TypeMappable
- rustc::TypeMappable
- state::BaseState
- state::ExprState
- state::IsState
- state::UnderBinderState
- state::UnderOwnerState
- utils::type_map::TypeMappable