Module skip_
trait_
refs_
when_
known
charon_
lib
0.1.88
Module skip_
trait_
refs_
when_
known
Module Items
Structs
Functions
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
inline_promoted_consts
insert_assign_return_unit
insert_storage_lives
lift_associated_item_clauses
merge_goto_chains
monomorphize
ops_to_function_calls
prettify_cfg
reconstruct_asserts
reconstruct_boxes
recover_body_comments
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
Module
skip_trait_refs_when_known
Copy item path
Settings
Help
Summary
Source
Structs
§
Transform
Functions
§
transform_
call
🔒