Check the bodies of
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;
Visitorresponsible for actually checking a
mir::Bodyfor 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.
trueif the given
const fnis “const-stable”.