Modules

Check the bodies of consts, statics and const fns for illegal operations.

A pass that promotes borrows of constant rvalues.

Validates the MIR to ensure that invariants are upheld.