Module check_consts

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.

Re-exports

• pub use self::qualifs::Qualif;

Modules

• check
  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.
• post_drop_elaboration
• qualifs
  Structural const qualification.
• resolver 🔒
  Propagate Qualifs between locals and query the results.

Structs

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

Functions

• is_safe_to_expose_on_stable_const_fn
  Returns true if the given const fn is “safe to expose on stable”.
• rustc_allow_const_fn_unstable