Expand description

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

This module will eventually replace the parts of qualify_consts.rs that check whether a local has interior mutability or needs to be dropped, as well as the visitor that emits errors when it finds operations that are invalid in a certain context.


  • pub use self::qualifs::Qualif;


  • The Visitor responsible for actually checking a mir::Body for invalid operations.
  • ops 🔒
    Concrete error types for all operations which may be invalid in a certain const context.
  • Structural const qualification.
  • resolver 🔒
    Propagate Qualifs between locals and query the results.


  • Information about the item currently being const-checked, as well as a reference to the global context.