Module normalize

Passes that effect some kind of normalization on the crate.

Modules

expand_associated_types

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

filter_unreachable_blocks

Some passes like crate::transform::resugar::reconstruct_asserts lead to the apparition of “dangling” blocks, which are referenced nowhere and thus become unreachable. This pass filters those out.

monomorphize

Micro-pass: monomorphize all functions and types; at the end of this pass, all functions and types are monomorphic.

skip_trait_refs_when_known

transform_dyn_trait_calls

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