List of all items
Structs
- ast::expressions::BuiltinIndexOp
- ast::expressions::ConstantExpr
- ast::expressions::FnPtr
- ast::expressions::Place
- ast::gast::Assert
- ast::gast::BodyId
- ast::gast::Call
- ast::gast::FunDecl
- ast::gast::FunDeclId
- ast::gast::GExprBody
- ast::gast::GlobalDecl
- ast::gast::GlobalDeclRef
- ast::gast::Opaque
- ast::gast::TraitDecl
- ast::gast::TraitImpl
- ast::gast::TraitItemName
- ast::gast::Var
- ast::krate::TranslatedCrate
- ast::llbc_ast::Block
- ast::llbc_ast::Statement
- ast::meta::AttrInfo
- ast::meta::FileId
- ast::meta::FileInfo
- ast::meta::ItemMeta
- ast::meta::Loc
- ast::meta::RawAttribute
- ast::meta::RawSpan
- ast::meta::Span
- ast::names::Disambiguator
- ast::names::Name
- ast::types::ClosureInfo
- ast::types::ConstGenericVar
- ast::types::ConstGenericVarId
- ast::types::DeBruijnId
- ast::types::ExistentialPredicate
- ast::types::Field
- ast::types::FieldId
- ast::types::FunSig
- ast::types::GenericArgs
- ast::types::GenericParams
- ast::types::GlobalDeclId
- ast::types::OutlivesPred
- ast::types::ParamsInfo
- ast::types::RegionBinder
- ast::types::RegionId
- ast::types::RegionVar
- ast::types::TraitClause
- ast::types::TraitClauseId
- ast::types::TraitDeclId
- ast::types::TraitDeclRef
- ast::types::TraitImplId
- ast::types::TraitRef
- ast::types::TraitTypeConstraint
- ast::types::Ty
- ast::types::TypeDecl
- ast::types::TypeDeclId
- ast::types::TypeVar
- ast::types::TypeVarId
- ast::types::Variant
- ast::types::VariantId
- ast::types_utils::VisitInsideTy
- ast::ullbc_ast::BlockData
- ast::ullbc_ast::BlockId
- ast::ullbc_ast::Statement
- ast::ullbc_ast::Terminator
- ast::values::FloatValue
- ast::values::VarId
- common::hash_by_addr::HashByAddr
- common::hash_consing::HashConsed
- common::type_map::TypeMap
- errors::DepSource
- errors::Error
- errors::ErrorCtx
- export::CrateData
- ids::generator::Generator
- ids::generator::MapGenerator
- ids::vector::ReservedSlot
- ids::vector::Vector
- name_matcher::Pattern
- options::CliOpts
- pretty::formatter::FmtCtx
- transform::check_generics::Check
- transform::check_generics::CheckGenericsVisitor
- transform::ctx::TransformCtx
- transform::ctx::TransformOptions
- transform::filter_invisible_trait_impls::Transform
- transform::graphs::SCCs
- transform::hide_marker_traits::Transform
- transform::hide_marker_traits::Visitor
- transform::index_to_function_calls::Transform
- transform::index_to_function_calls::Visitor
- transform::inline_local_panic_functions::Transform
- transform::insert_assign_return_unit::Transform
- transform::lift_associated_item_clauses::Transform
- transform::merge_goto_chains::Transform
- transform::ops_to_function_calls::Transform
- transform::prettify_cfg::Transform
- transform::reconstruct_asserts::Transform
- transform::reconstruct_boxes::Transform
- transform::recover_body_comments::Transform
- transform::remove_arithmetic_overflow_checks::Transform
- transform::remove_drop_never::Transform
- transform::remove_dynamic_checks::Transform
- transform::remove_nops::Transform
- transform::remove_read_discriminant::Transform
- transform::remove_unused_locals::Transform
- transform::reorder_decls::DeclInfo
- transform::reorder_decls::Deps
- transform::simplify_constants::Transform
- transform::ullbc_to_llbc::BlockInfo
- transform::ullbc_to_llbc::BlocksInfo
- transform::ullbc_to_llbc::CfgInfo
- transform::ullbc_to_llbc::ExitInfo
- transform::ullbc_to_llbc::FilteredLoopParents
- transform::ullbc_to_llbc::LoopExitCandidateInfo
- transform::ullbc_to_llbc::OrdBlockId
- transform::update_block_indices::Transform
- transform::update_closure_signatures::InsertRegions
- transform::update_closure_signatures::Transform
Enums
- ast::builtins::BuiltinFun
- ast::expressions::AggregateKind
- ast::expressions::BinOp
- ast::expressions::BorrowKind
- ast::expressions::BuiltinFunId
- ast::expressions::CastKind
- ast::expressions::FieldProjKind
- ast::expressions::FunId
- ast::expressions::FunIdOrTraitMethodRef
- ast::expressions::NullOp
- ast::expressions::Operand
- ast::expressions::ProjectionElem
- ast::expressions::RawConstantExpr
- ast::expressions::Rvalue
- ast::expressions::UnOp
- ast::gast::AbortKind
- ast::gast::Body
- ast::gast::FnOperand
- ast::gast::ItemKind
- ast::krate::AnyTransId
- ast::krate::AnyTransItem
- ast::llbc_ast::RawStatement
- ast::llbc_ast::Switch
- ast::meta::Attribute
- ast::meta::FileName
- ast::meta::InlineAttr
- ast::meta::ItemOpacity
- ast::names::ImplElem
- ast::names::PathElem
- ast::types::BuiltinTy
- ast::types::ClosureKind
- ast::types::ConstGeneric
- ast::types::FloatTy
- ast::types::IntegerTy
- ast::types::LiteralTy
- ast::types::PredicateOrigin
- ast::types::RefKind
- ast::types::Region
- ast::types::TraitRefKind
- ast::types::TyKind
- ast::types::TypeDeclKind
- ast::types::TypeId
- ast::ullbc_ast::RawStatement
- ast::ullbc_ast::RawTerminator
- ast::ullbc_ast::SwitchTargets
- ast::values::Literal
- ast::values::ScalarValue
- ast::values_utils::ScalarError
- common::visitor_event::VisitEvent
- name_matcher::PatElem
- name_matcher::PatTy
- transform::Pass
- transform::reorder_decls::DeclarationGroup
- transform::reorder_decls::GDeclarationGroup
- transform::ullbc_to_llbc::GotoKind
Traits
- common::type_map::Mapper
- name_matcher::parser::ParserExtExt
- pretty::fmt_with_ctx::FmtWithCtx
- pretty::formatter::DeclFormatter
- pretty::formatter::Formatter
- pretty::formatter::IntoFormatter
- pretty::formatter::PushBoundRegions
- pretty::formatter::SetGenerics
- pretty::formatter::SetLocals
- transform::ctx::LlbcPass
- transform::ctx::TransformPass
- transform::ctx::UllbcPass
Macros
- ast::krate::mk_index_impls
- ast::krate::wrap_unwrap_enum
- code_location
- error
- error_assert
- error_or_panic
- errors::error_assert
- errors::error_or_panic
- errors::register_error_or_panic
- generate_index_type
- info
- register_error_or_panic
- trace
- warn
Functions
- ast::builtins::type_to_used_params
- ast::gast_utils::make_locals_generator
- ast::llbc_ast_utils::combine_switch_targets_span
- ast::meta::dummy_span_data
- ast::meta_utils::combine_span
- ast::meta_utils::combine_span_iter
- ast::ullbc_ast_utils::body_transform_operands
- common::ensure_sufficient_stack
- common::iterator_to_string
- common::vec_to_string
- common::write_iterator
- common::write_vec
- export::ensure_version
- logger::initialize_logger
- name_matcher::parser::parse_impl_elem
- name_matcher::parser::parse_pat_elem
- name_matcher::parser::parse_pat_ty
- name_matcher::parser::parse_pattern
- name_matcher::parser::parse_pattern_complete
- name_matcher::parser::parse_simple_elem
- pretty::fmt_with_ctx::fmt_body_blocks_with_ctx
- pretty::fmt_with_ctx::fmt_call
- transform::graphs::insert_scc_with_deps
- transform::graphs::reorder_sccs
- transform::insert_assign_return_unit::transform_st
- transform::ops_to_function_calls::transform_st
- transform::reconstruct_asserts::transform_st
- transform::remove_dynamic_checks::remove_dynamic_checks
- transform::reorder_decls::compute_declarations_graph
- transform::reorder_decls::compute_reordered_decls
- transform::reorder_decls::group_declarations_from_scc
- transform::simplify_constants::transform_constant_expr
- transform::simplify_constants::transform_operand
- transform::ullbc_to_llbc::block_is_error
- transform::ullbc_to_llbc::block_is_switch
- transform::ullbc_to_llbc::build_cfg_info
- transform::ullbc_to_llbc::build_cfg_partial_info_edges
- transform::ullbc_to_llbc::compute_loop_exit_candidates
- transform::ullbc_to_llbc::compute_loop_exits
- transform::ullbc_to_llbc::compute_loop_switch_exits
- transform::ullbc_to_llbc::compute_switch_exits
- transform::ullbc_to_llbc::compute_switch_exits_explore
- transform::ullbc_to_llbc::filter_loop_parents
- transform::ullbc_to_llbc::get_goto_kind
- transform::ullbc_to_llbc::is_terminal
- transform::ullbc_to_llbc::is_terminal_explore
- transform::ullbc_to_llbc::is_terminal_explore_block
- transform::ullbc_to_llbc::list_reachable
- transform::ullbc_to_llbc::loop_entry_is_reachable_from_inner
- transform::ullbc_to_llbc::make_ord_block_id
- transform::ullbc_to_llbc::opt_block_unwrap_or_nop
- transform::ullbc_to_llbc::register_children_as_loop_exit_candidates
- transform::ullbc_to_llbc::translate_block
- transform::ullbc_to_llbc::translate_body
- transform::ullbc_to_llbc::translate_body_aux
- transform::ullbc_to_llbc::translate_child_block
- transform::ullbc_to_llbc::translate_functions
- transform::ullbc_to_llbc::translate_statement
- transform::ullbc_to_llbc::translate_terminator
- transform::update_closure_signatures::transform_function
Type Aliases
- ast::expressions::Projection
- ast::llbc_ast::ExprBody
- ast::types::FieldName
- ast::types::PolyTraitDeclRef
- ast::types::RegionOutlives
- ast::types::TypeOutlives
- ast::ullbc_ast::BodyContents
- ast::ullbc_ast::ExprBody
- ast::values_utils::ScalarResult
- name_matcher::parser::ParseResult
- transform::reorder_decls::DeclarationsGroups
- transform::ullbc_to_llbc::Cfg
Trait Aliases
Statics
- ast::builtins::EXPLICIT_PANIC_NAME
- ast::ullbc_ast::START_BLOCK_ID
- common::TAB_INCR
- transform::LLBC_PASSES
- transform::ULLBC_PASSES