Modules§

  • Check the bodies of consts, statics and const fns for illegal operations.
  • Validates the MIR to ensure that invariants are upheld.