bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

rename const checking visitor module to check_consts::check

Browse source
This commit is contained in:
Ralf Jung 2021-07-24 13:16:59 +02:00
parent 1c66d11a34
commit 35d4d4ca14
4 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

0
compiler/rustc_mir/src/transform/check_consts/validation.rs → compiler/rustc_mir/src/transform/check_consts/check.rs
View file

2
compiler/rustc_mir/src/transform/check_consts/mod.rs
View file

@ -13,11 +13,11 @@ use rustc_span::Symbol;
pub use self::qualifs::Qualif; pub use self::qualifs::Qualif;
pub mod check;
mod ops; mod ops;
pub mod post_drop_elaboration; pub mod post_drop_elaboration;
pub mod qualifs; pub mod qualifs;
mod resolver; mod resolver;
pub mod validation;
/// Information about the item currently being const-checked, as well as a reference to the global /// Information about the item currently being const-checked, as well as a reference to the global
/// context. /// context.

2
compiler/rustc_mir/src/transform/check_consts/post_drop_elaboration.rs
View file

@ -3,9 +3,9 @@ use rustc_middle::mir::{self, BasicBlock, Location};
use rustc_middle::ty::TyCtxt; use rustc_middle::ty::TyCtxt;
use rustc_span::Span; use rustc_span::Span;
use super::check::Qualifs;
use super::ops::{self, NonConstOp}; use super::ops::{self, NonConstOp};
use super::qualifs::{NeedsDrop, Qualif}; use super::qualifs::{NeedsDrop, Qualif};
use super::validation::Qualifs;
use super::ConstCx; use super::ConstCx;
/// Returns `true` if we should use the more precise live drop checker that runs after drop /// Returns `true` if we should use the more precise live drop checker that runs after drop

2
compiler/rustc_mir/src/transform/mod.rs
View file

@ -240,7 +240,7 @@ fn mir_const_qualif(tcx: TyCtxt<'_>, def: ty::WithOptConstParam<LocalDefId>) ->
let ccx = check_consts::ConstCx { body, tcx, const_kind, param_env: tcx.param_env(def.did) }; let ccx = check_consts::ConstCx { body, tcx, const_kind, param_env: tcx.param_env(def.did) };
let mut validator = check_consts::validation::Validator::new(&ccx); let mut validator = check_consts::check::Validator::new(&ccx);
validator.check_body(); validator.check_body();
// We return the qualifs in the return place for every MIR body, even though it is only used // We return the qualifs in the return place for every MIR body, even though it is only used