Module normalize 

Passes that effect some kind of normalization on the crate.

Modules

desugar_drops

expand_associated_types

Change trait associated types to be type parameters instead. E.g.

normalize_trait_refs

partial_monomorphization

This module implements partial monomorphization, which allows specializing generic items on some specific instanciation patterns. This is used by Aeneas to avoid nested mutable borrows: we transform Iter<'a, &'b mut T> to {Iter::<_, &mut U>}<'a, 'b, T>, where

skip_trait_refs_when_known

transform_dyn_trait_calls

Transform method calls on &dyn Trait to vtable function pointer calls.