Expand description
Check the bodies of const
s, static
s and const fn
s 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.
Re-exports§
pub use self::qualifs::Qualif;
Modules§
- The
Visitor
responsible for actually checking amir::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
Qualif
s between locals and query the results.
Structs§
- Information about the item currently being const-checked, as well as a reference to the global context.
Functions§
- Returns
true
if the givenconst fn
is “const-stable”.