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