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

use rustc_attr_ir::find_attr; 🔒

use rustc_errors::DiagCtxtHandle; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::PolyFnSig; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::Symbol; 🔒

use rustc_span::bug; 🔒

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_fn_or_trait_safe_to_expose_on_stable

Returns true if the given def_id (trait or function) is “safe to expose on stable”.

rustc_allow_const_fn_unstable