Module rustc_const_eval::transform::check_consts
source · 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 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
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.