Skip to main content

Module duplicate_defaulted_methods

charon_lib::transform::simplify_output

Module duplicate_defaulted_methods 

Source
Expand description

--duplicate-defaulted-methods: copy trait default methods into impls that use them.

Structsยง

Transform