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::CtorKind
• types::def_id::CtorOf
• types::def_id::DefKind
• types::def_id::DefPathItem
• types::def_id::MacroKind
• types::def_id::Safety
• 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::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::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::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

• prelude::derive_group

Derive Macros

• AdtInto
• Deserialize
• JsonSchema
• Serialize
• prelude::Deserialize
• prelude::JsonSchema
• prelude::Serialize

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_ctor_contents
• 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::Mutability
• types::def_id::Path
• types::def_id::Symbol
• types::hir::EnumDef
• types::hir::GenericBounds
• types::hir::Ident
• 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

Statics

• id_table::DESERIALIZATION_STATE
• id_table::DESERIALIZATION_STATE_LOCK
• id_table::SERIALIZATION_MODE_USE_IDS