Module elaborate_box_derefs

This pass transforms derefs of Box into a deref of the pointer inside Box.

Box is not actually a pointer so it is incorrect to dereference it directly.

Structs

• ElaborateBoxDerefVisitor 🔒
• ElaborateBoxDerefs 🔒

Functions

• build_projection 🔒
  Constructs the projection needed to access a Box’s pointer
• build_ptr_tys 🔒
  Constructs the types used when accessing a Box’s pointer