Skip to main content

Module skip_trait_refs_when_known

charon_lib::transform::normalize

Module skip_trait_refs_when_known 

Source

Structs§

NormalizeFnPtr 🔒
Transform

Functions§

normalize_default_method_call_on_known_impl 🔒
Transform Trait::default_method<X>[impl_trait_for_X] to a direct method call.
normalize_method_call 🔒
normalize_method_call_on_known_impl 🔒
Transform impl_trait_for_X::method to a direct method call.