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.