Module 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

struct {Iter::<'a, &'b mut U>}<'a, 'b, U> {
  // the field of `Iter` but instantiated with `T -> &'b mut U`.
}

Note: We may need to partial-mono the same item multiple times: Foo::<&mut A, B>, Foo::<A, &mut B>. Note also that partial-mono is infectious: Foo<Bar<&mut A>> generates Bar::<&mut A> then `Foo::<Bar::<&mut A>>``.

Structs

MutabilityShapeBuilder 🔒

See the docs of MutabilityShapeBuilder::compute_shape.

PartialMonomorphizer 🔒

Transform

Type Aliases

MutabilityShape 🔒