about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2021-07-24 13:16:59 +0200
committerRalf Jung <post@ralfj.de>2021-07-24 13:25:30 +0200
commit35d4d4ca149c8aa8ed2eca221a56612d35b6c7f9 (patch)
tree4e91857f86da136874d35717b97beb5b038399ca
parent1c66d11a34047be1eb6c50703f8ba6689a15e716 (diff)
downloadrust-35d4d4ca149c8aa8ed2eca221a56612d35b6c7f9.tar.gz
rust-35d4d4ca149c8aa8ed2eca221a56612d35b6c7f9.zip
rename const checking visitor module to check_consts::check
-rw-r--r--compiler/rustc_mir/src/transform/check_consts/check.rs (renamed from compiler/rustc_mir/src/transform/check_consts/validation.rs)0
-rw-r--r--compiler/rustc_mir/src/transform/check_consts/mod.rs2
-rw-r--r--compiler/rustc_mir/src/transform/check_consts/post_drop_elaboration.rs2
-rw-r--r--compiler/rustc_mir/src/transform/mod.rs2
4 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_mir/src/transform/check_consts/validation.rs b/compiler/rustc_mir/src/transform/check_consts/check.rs
index cfc538ef500..cfc538ef500 100644
--- a/compiler/rustc_mir/src/transform/check_consts/validation.rs
+++ b/compiler/rustc_mir/src/transform/check_consts/check.rs
diff --git a/compiler/rustc_mir/src/transform/check_consts/mod.rs b/compiler/rustc_mir/src/transform/check_consts/mod.rs
index 19aee033a69..0ca086d74db 100644
--- a/compiler/rustc_mir/src/transform/check_consts/mod.rs
+++ b/compiler/rustc_mir/src/transform/check_consts/mod.rs
@@ -13,11 +13,11 @@ use rustc_span::Symbol;
 
 pub use self::qualifs::Qualif;
 
+pub mod check;
 mod ops;
 pub mod post_drop_elaboration;
 pub mod qualifs;
 mod resolver;
-pub mod validation;
 
 /// Information about the item currently being const-checked, as well as a reference to the global
 /// context.
diff --git a/compiler/rustc_mir/src/transform/check_consts/post_drop_elaboration.rs b/compiler/rustc_mir/src/transform/check_consts/post_drop_elaboration.rs
index 057092b8ef5..b08ce219034 100644
--- a/compiler/rustc_mir/src/transform/check_consts/post_drop_elaboration.rs
+++ b/compiler/rustc_mir/src/transform/check_consts/post_drop_elaboration.rs
@@ -3,9 +3,9 @@ use rustc_middle::mir::{self, BasicBlock, Location};
 use rustc_middle::ty::TyCtxt;
 use rustc_span::Span;
 
+use super::check::Qualifs;
 use super::ops::{self, NonConstOp};
 use super::qualifs::{NeedsDrop, Qualif};
-use super::validation::Qualifs;
 use super::ConstCx;
 
 /// Returns `true` if we should use the more precise live drop checker that runs after drop
diff --git a/compiler/rustc_mir/src/transform/mod.rs b/compiler/rustc_mir/src/transform/mod.rs
index 5c201594ddd..9da2660dbad 100644
--- a/compiler/rustc_mir/src/transform/mod.rs
+++ b/compiler/rustc_mir/src/transform/mod.rs
@@ -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 mut validator = check_consts::validation::Validator::new(&ccx);
+    let mut validator = check_consts::check::Validator::new(&ccx);
     validator.check_body();
 
     // We return the qualifs in the return place for every MIR body, even though it is only used