Module rustc_const_eval::transform

Modules

check_consts

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

promote_consts

A pass that promotes borrows of constant rvalues.

validate

Validates the MIR to ensure that invariants are upheld.

Traits

MirPass

A streamlined trait that you can implement to create a pass; the pass will be named after the type, and it will consist of a main loop that goes over each available MIR and applies run_pass.