List of all items
Structs
- CheckerConfig
- checker::Checker
- checker::CheckerConfig
- checker::Inherited
- checker::RefineMode
- checker::ShapeMode
- checker::ShapeResult
- checker::SkipConstr
- checker::errors::CheckerError
- errors::AssertError
- errors::AssignError
- errors::CallSpanNote
- errors::ConditionSpanNote
- errors::DivError
- errors::ExpectedNeg
- errors::FoldError
- errors::GotoError
- errors::OverflowError
- errors::RefineError
- errors::RemError
- errors::UnknownError
- ghost_statements::GhostStatements
- ghost_statements::StatementsAt
- ghost_statements::fold_unfold::Elaboration
- ghost_statements::fold_unfold::Env
- ghost_statements::fold_unfold::FoldUnfoldAnalysis
- ghost_statements::fold_unfold::Infer
- ghost_statements::points_to::Children
- ghost_statements::points_to::CollectPointerToBorrows
- ghost_statements::points_to::Map
- ghost_statements::points_to::PlaceIndex
- ghost_statements::points_to::PlaceInfo
- ghost_statements::points_to::PointsToAnalysis
- ghost_statements::points_to::State
- ghost_statements::points_to::ValueIndex
- invariants::errors::Invalid
- primops::MatchedRule
- primops::Pre
- primops::RuleTable
- queue::Item
- queue::WorkQueue
- type_env::BasicBlockEnv
- type_env::BasicBlockEnvData
- type_env::BasicBlockEnvShape
- type_env::TypeEnv
- type_env::TypeEnvBind
- type_env::TypeEnvTrace
- type_env::place_ty::Binding
- type_env::place_ty::Cursor
- type_env::place_ty::LookupResult
- type_env::place_ty::NoUnfold
- type_env::place_ty::PlacesTree
- type_env::place_ty::Unfold
- type_env::place_ty::Unfolder
- type_env::place_ty::Updater
Enums
- checker::Guard
- checker::errors::CheckerErrKind
- ghost_statements::GhostStatement
- ghost_statements::Point
- ghost_statements::fold_unfold::PlaceNode
- ghost_statements::fold_unfold::ProjResult
- ghost_statements::points_to::PlaceOrValue
- type_env::PtrToRefBound
- type_env::place_ty::LocKind
Traits
- checker::Mode
- checker::errors::ResultExt
- ghost_statements::fold_unfold::Mode
- type_env::place_ty::LookupKey
- type_env::place_ty::LookupMode
Functions
- call_error
- check_fn
- checker::all_predicates_of
- checker::bool_int_cast
- checker::bool_uint_cast
- checker::check_fn_subtyping
- checker::collect_params_in_clauses
- checker::find_trait_item
- checker::fold_local_ptrs
- checker::infer_under_mut_ref_hack
- checker::instantiate_args_for_constructor
- checker::instantiate_args_for_fun_call
- checker::int_bit_width
- checker::int_int_cast
- checker::is_indexed_mut_skipping_constr
- checker::snapshot_at_dominator
- checker::trait_impl_subtyping
- checker::uint_bit_width
- checker::uint_int_cast
- checker::uint_uint_cast
- checker::unfold_local_ptrs
- force_conv
- ghost_statements::all_nested_bodies
- ghost_statements::compute_ghost_statements
- ghost_statements::fold_unfold::add_ghost_statements
- ghost_statements::fold_unfold::downcast
- ghost_statements::fold_unfold::downcast_struct
- ghost_statements::points_to::add_ghost_statements
- ghost_statements::points_to::debug_with_context
- ghost_statements::points_to::debug_with_context_rec
- ghost_statements::points_to::excluded_locals
- invariants::check_invariant
- invariants::check_invariants
- invoke_fixpoint
- primops::match_bin_op
- primops::match_un_op
- primops::mk_add_rules
- primops::mk_bit_and_rules
- primops::mk_bit_or_rules
- primops::mk_bit_xor_rules
- primops::mk_div_rules
- primops::mk_eq_rules
- primops::mk_ge_rules
- primops::mk_gt_rules
- primops::mk_le_rules
- primops::mk_lt_rules
- primops::mk_mul_rules
- primops::mk_ne_rules
- primops::mk_neg_rules
- primops::mk_not_rules
- primops::mk_rem_rules
- primops::mk_shl_rules
- primops::mk_shr_rules
- primops::mk_sub_rules
- report_errors
- report_expected_neg
- report_fixpoint_errors
- ret_error
- type_env::place_ty::downcast
- type_env::place_ty::downcast_enum
- type_env::place_ty::downcast_struct
- type_env::place_ty::fold
- type_env::place_ty::struct_variant
Type Aliases
- checker::Result
- ghost_statements::EdgeMap
- ghost_statements::LocationMap
- ghost_statements::fold_unfold::Modified
- ghost_statements::points_to::Results
- primops::RuleMatcher
- type_env::Result
- type_env::place_ty::CheckerResult