List of all items

Structs

• borrow_check::BorrowChecker
• borrow_check::analysis::BackAnalysis
• borrow_check::demand::Demand
• borrow_check::demand::EmptyDemandReporter
• db::BaselineOptimizationStrategyQuery
• db::ConcreteFunctionWithBodyDirectCalleesQuery
• db::ConcreteFunctionWithBodyDirectCalleesWithBodyQuery
• db::ConcreteFunctionWithBodyPostpanicDirectCalleesQuery
• db::ConcreteFunctionWithBodyPostpanicDirectCalleesWithBodyQuery
• db::ConcreteFunctionWithBodyPostpanicLoweredQuery
• db::ConcreteFunctionWithBodyPostpanicSccQuery
• db::ConcreteFunctionWithBodySccPostpanicRepresentativeQuery
• db::ConcreteFunctionWithBodySccQuery
• db::ConcreteFunctionWithBodySccRepresentativeQuery
• db::ConcreteSCCRepresentative
• db::FileLoweringDiagnosticsQuery
• db::FinalConcreteFunctionWithBodyLoweredDirectCalleesQuery
• db::FinalConcreteFunctionWithBodyLoweredQuery
• db::FinalContainsCallCycleQuery
• db::FinalOptimizationStrategyQuery
• db::FunctionImplicitsQuery
• db::FunctionMayPanicQuery
• db::FunctionWithBodyDirectCalleesQuery
• db::FunctionWithBodyDirectFunctionWithBodyCalleesQuery
• db::FunctionWithBodyFeedbackSetQuery
• db::FunctionWithBodyLoweringDiagnosticsQuery
• db::FunctionWithBodyLoweringQuery
• db::FunctionWithBodyLoweringWithBorrowCheckQuery
• db::FunctionWithBodySccQuery
• db::GenericSCCRepresentative
• db::HasDirectPanicQuery
• db::InCycleQuery
• db::InlinedFunctionWithBodyLoweredQuery
• db::InternLocationLookupQuery
• db::InternLocationQuery
• db::InternLoweringConcreteFunctionWithBodyLookupQuery
• db::InternLoweringConcreteFunctionWithBodyQuery
• db::InternLoweringFunctionLookupQuery
• db::InternLoweringFunctionQuery
• db::InternLoweringFunctionWithBodyLookupQuery
• db::InternLoweringFunctionWithBodyQuery
• db::InternStrategyLookupQuery
• db::InternStrategyQuery
• db::LoweringDatabase
• db::LoweringGroupGroupStorage__
• db::ModuleLoweringDiagnosticsQuery
• db::NeedsWithdrawGasQuery
• db::OptimizationConfigQuery
• db::OptimizedConcreteFunctionWithBodyLoweredQuery
• db::PrivConcreteFunctionWithBodyLoweredFlatQuery
• db::PrivConstFoldingInfoQuery
• db::PrivFunctionWithBodyFeedbackSetOfRepresentativeQuery
• db::PrivFunctionWithBodyLoweringQuery
• db::PrivFunctionWithBodyMultiLoweringQuery
• db::PrivMovableFunctionIdsQuery
• db::PrivShouldInlineQuery
• db::SccImplicitsQuery
• db::SccMayPanicQuery
• db::SemanticFunctionWithBodyLoweringDiagnosticsQuery
• db::TypeSizeQuery
• destructs::DestructAdder
• diagnostic::LoweringDiagnostic
• diagnostic::MatchError
• fmt::LoweredFormatter
• graph_algorithms::concrete_function_node::ConcreteFunctionWithBodyNode
• graph_algorithms::concrete_function_node::ConcreteFunctionWithBodyPostPanicNode
• ids::ConcreteFunctionWithBodyId
• ids::FunctionId
• ids::FunctionWithBodyId
• ids::GeneratedFunction
• ids::LocationId
• ids::Signature
• inline::BlockRewriteQueue
• inline::FunctionInlinerRewriter
• inline::Mapper
• lower::MultiLowering
• lower::context::EncapsulatingLoweringContext
• lower::context::LoweredExprExternEnum
• lower::context::LoweringContext
• lower::context::VarRequest
• lower::context::VariableAllocator
• lower::generators::Call
• lower::generators::CallResult
• lower::generators::Const
• lower::generators::Desnap
• lower::generators::EnumConstruct
• lower::generators::Snapshot
• lower::generators::StatementsBuilder
• lower::generators::StructConstruct
• lower::generators::StructDestructure
• lower::generators::StructMemberAccess
• lower::refs::ClosureInfo
• lower::refs::SemanticLoweringMapping
• objects::FlatBlock
• objects::FlatLowered
• objects::Location
• objects::MatchArm
• objects::MatchEnumInfo
• objects::MatchEnumValue
• objects::MatchExternInfo
• objects::StatementCall
• objects::StatementConst
• objects::StatementDesnap
• objects::StatementEnumConstruct
• objects::StatementSnapshot
• objects::StatementStructConstruct
• objects::StatementStructDestructure
• objects::VarRemapping
• objects::VarUsage
• objects::Variable
• objects::blocks::BlockId
• objects::blocks::Blocks
• objects::blocks::BlocksBuilder
• objects::blocks::BlocksIter
• optimizations::cancel_ops::CancelOpsContext
• optimizations::config::OptimizationConfig
• optimizations::const_folding::ConstFoldingLibfuncInfo
• optimizations::match_optimizer::AnalysisInfo
• optimizations::match_optimizer::FixInfo
• optimizations::match_optimizer::MatchOptimizerContext
• optimizations::reorder_statements::ReorderStatementsContext
• optimizations::reorder_statements::ReorderStatementsInfo
• optimizations::return_optimization::AnalyzerInfo
• optimizations::return_optimization::FixInfo
• optimizations::return_optimization::ReturnInfo
• optimizations::return_optimization::ReturnOptimizerContext
• optimizations::strategy::OptimizationStrategy
• optimizations::strategy::OptimizationStrategyId
• optimizations::var_renamer::VarRenamer
• panic::PanicSignatureInfo
• reorganize_blocks::RebuildContext
• reorganize_blocks::TopSortContext
• reorganize_blocks::VarReassigner

Enums

• borrow_check::DropPosition
• borrow_check::PanicState
• destructs::PanicLocation
• destructs::PanicState
• diagnostic::LoweringDiagnosticKind
• diagnostic::MatchDiagnostic
• diagnostic::MatchKind
• ids::ConcreteFunctionWithBodyLongId
• ids::FunctionLongId
• ids::FunctionWithBodyLongId
• ids::GeneratedFunctionKey
• lower::context::LoweredExpr
• lower::context::LoweringFlowError
• objects::DependencyType
• objects::FlatBlockEnd
• objects::MatchInfo
• objects::Statement
• optimizations::return_optimization::ValueInfo
• optimizations::strategy::OptimizationPhase
• utils::InliningStrategy

Traits

• borrow_check::analysis::Analyzer
• borrow_check::demand::AuxCombine
• borrow_check::demand::DemandReporter
• db::LoweringGroup
• diagnostic::LoweringDiagnosticsBuilder
• ids::SemanticFunctionIdEx
• ids::SemanticFunctionWithBodyIdEx
• implicits::FunctionImplicitsTrait
• lower::refs::StructRecomposer
• panic::MayPanicTrait
• utils::Rebuilder
• utils::RebuilderEx

Functions

• add_withdraw_gas::add_withdraw_gas
• borrow_check::borrow_check
• concretize::concretize_lowered
• db::init_lowering_group
• destructs::add_destructs
• graph_algorithms::cycles::final_contains_call_cycle
• graph_algorithms::cycles::final_contains_call_cycle_handle_cycle
• graph_algorithms::cycles::function_with_body_direct_callees
• graph_algorithms::cycles::function_with_body_direct_function_with_body_callees
• graph_algorithms::cycles::in_cycle
• graph_algorithms::feedback_set::flag_add_withdraw_gas
• graph_algorithms::feedback_set::function_with_body_feedback_set
• graph_algorithms::feedback_set::needs_withdraw_gas
• graph_algorithms::feedback_set::priv_function_with_body_feedback_set_of_representative
• graph_algorithms::strongly_connected_components::concrete_function_with_body_postpanic_scc
• graph_algorithms::strongly_connected_components::concrete_function_with_body_scc
• graph_algorithms::strongly_connected_components::concrete_function_with_body_scc_postpanic_representative
• graph_algorithms::strongly_connected_components::concrete_function_with_body_scc_representative
• implicits::function_implicits
• implicits::inner_lower_implicits
• implicits::lower_implicits
• implicits::scc_implicits
• inline::apply_inlining
• inline::get_inline_diagnostics
• inline::priv_should_inline
• lower::context::lowering_flow_error_to_sealed_block
• lower::lower_expr_while_let
• lower::lower_for_loop
• lower::lower_function
• lower::lower_loop_function
• lower::lower_semantic_function
• lower::lower_statement
• lower::lower_tail_expr
• lower::lower_while_loop
• lower::lowered_expr_to_block_scope_end
• optimizations::branch_inversion::branch_inversion
• optimizations::cancel_ops::cancel_ops
• optimizations::config::priv_movable_function_ids
• optimizations::const_folding::const_folding
• optimizations::const_folding::priv_const_folding_info
• optimizations::gas_redeposit::gas_redeposit
• optimizations::match_optimizer::optimize_matches
• optimizations::remappings::optimize_remappings
• optimizations::reorder_statements::reorder_statements
• optimizations::return_optimization::return_optimization
• optimizations::scrub_units::scrub_units
• optimizations::split_structs::split_structs
• optimizations::strategy::baseline_optimization_strategy
• optimizations::strategy::final_optimization_strategy
• panic::function_may_panic
• panic::has_direct_panic
• panic::lower_panics
• panic::scc_may_panic
• reorganize_blocks::reorganize_blocks
• scc::function_with_body_scc

Type Aliases

• borrow_check::BorrowCheckerDemand
• borrow_check::PotentialDestructCalls
• borrow_check::analysis::StatementLocation
• destructs::DestructAdderDemand
• diagnostic::LoweringDiagnostics
• lower::context::LoweringResult
• objects::VariableId
• objects::blocks::FlatBlocks
• objects::blocks::FlatBlocksBuilder
• optimizations::match_optimizer::MatchOptimizerDemand