about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorDylan MacKenzie <ecstaticmorse@gmail.com>2019-11-10 10:41:42 -0800
committerDylan MacKenzie <ecstaticmorse@gmail.com>2019-11-15 10:33:52 -0800
commit3d2bc50b516219e62d3233ffaebed26ccb6aeba8 (patch)
treed0e43cecfa52f428227112867850e696012cfe6e /src
parent752776699357be34e7819ffb235438df7ccf1a9a (diff)
downloadrust-3d2bc50b516219e62d3233ffaebed26ccb6aeba8.tar.gz
rust-3d2bc50b516219e62d3233ffaebed26ccb6aeba8.zip
Remove remaining validator mismatch code
Diffstat (limited to 'src')
-rw-r--r--src/librustc_mir/transform/check_consts/validation.rs17
1 files changed, 1 insertions, 16 deletions
diff --git a/src/librustc_mir/transform/check_consts/validation.rs b/src/librustc_mir/transform/check_consts/validation.rs
index 52481a89e2f..fa0bb806448 100644
--- a/src/librustc_mir/transform/check_consts/validation.rs
+++ b/src/librustc_mir/transform/check_consts/validation.rs
@@ -163,11 +163,6 @@ pub struct Validator<'a, 'mir, 'tcx> {
     /// this set is empty. Note that if we start removing locals from
     /// `derived_from_illegal_borrow`, just checking at the end won't be enough.
     derived_from_illegal_borrow: BitSet<Local>,
-
-    errors: Vec<(Span, String)>,
-
-    /// Whether to actually emit errors or just store them in `errors`.
-    pub(crate) suppress_errors: bool,
 }
 
 impl Deref for Validator<'_, 'mir, 'tcx> {
@@ -221,9 +216,7 @@ impl Validator<'a, 'mir, 'tcx> {
             span: item.body.span,
             item,
             qualifs,
-            errors: vec![],
             derived_from_illegal_borrow: BitSet::new_empty(item.body.local_decls.len()),
-            suppress_errors: false,
         }
     }
 
@@ -267,10 +260,6 @@ impl Validator<'a, 'mir, 'tcx> {
         self.qualifs.in_return_place(self.item)
     }
 
-    pub fn take_errors(&mut self) -> Vec<(Span, String)> {
-        std::mem::replace(&mut self.errors, vec![])
-    }
-
     /// Emits an error at the given `span` if an expression cannot be evaluated in the current
     /// context. Returns `Forbidden` if an error was emitted.
     pub fn check_op_spanned<O>(&mut self, op: O, span: Span) -> CheckOpResult
@@ -293,11 +282,7 @@ impl Validator<'a, 'mir, 'tcx> {
             return CheckOpResult::Unleashed;
         }
 
-        if !self.suppress_errors {
-            op.emit_error(self, span);
-        }
-
-        self.errors.push((span, format!("{:?}", op)));
+        op.emit_error(self, span);
         CheckOpResult::Forbidden
     }