charon_
lib
0.1.73
In charon_
lib::
transform
Modules
check_generics
ctx
duplicate_defaulted_methods
duplicate_return
expand_associated_types
filter_invisible_trait_impls
filter_unreachable_blocks
graphs
hide_marker_traits
index_intermediate_assigns
index_to_function_calls
inline_local_panic_functions
insert_assign_return_unit
lift_associated_item_clauses
merge_goto_chains
ops_to_function_calls
prettify_cfg
reconstruct_asserts
reconstruct_boxes
recover_body_comments
remove_arithmetic_overflow_checks
remove_drop_never
remove_dynamic_checks
remove_nops
remove_read_discriminant
remove_unit_locals
remove_unused_locals
remove_unused_methods
reorder_decls
simplify_constants
skip_trait_refs_when_known
ullbc_to_llbc
unbind_item_vars
update_block_indices
update_closure_signatures
Structs
PrintCtxPass
Enums
Pass
Statics
FINAL_CLEANUP_PASSES
INITIAL_CLEANUP_PASSES
LLBC_PASSES
SHARED_FINALIZING_PASSES
ULLBC_PASSES
charon_lib
::
transform
Static
INITIAL_CLEANUP_PASSES
Copy item path
Settings
Help
Summary
Source
pub static INITIAL_CLEANUP_PASSES: &[
Pass
]
Expand description
Item and type cleanup passes.