about summary refs log tree commit diff
diff options
context:
space:
mode:
authorChristian Poveda <christianpoveda@protonmail.com>2019-11-26 17:23:24 -0500
committerChristian Poveda <christianpoveda@protonmail.com>2019-11-26 17:23:24 -0500
commitd7c09f7e1e446390ed3f02ed576a1efce5279b96 (patch)
tree6f8f5bd385a60dbf0bd59ec31a31d379a90d3ff8
parentc66ad1405782c49bc01b9c2a0b3634765a7cecea (diff)
Change way of checking SetDiscriminant
-rw-r--r--src/librustc_mir/transform/check_consts/validation.rs5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/librustc_mir/transform/check_consts/validation.rs b/src/librustc_mir/transform/check_consts/validation.rs
index 5c3cffe3ce8..7b26ba58e61 100644
--- a/src/librustc_mir/transform/check_consts/validation.rs
+++ b/src/librustc_mir/transform/check_consts/validation.rs
@@ -566,9 +566,8 @@ impl Visitor<'tcx> for Validator<'_, 'mir, 'tcx> {
             StatementKind::FakeRead(FakeReadCause::ForMatchedPlace, _) => {
                 self.check_op(ops::IfOrMatch);
             }
-            StatementKind::SetDiscriminant { ref place, .. } => {
-                let ctx = PlaceContext::MutatingUse(MutatingUseContext::Projection);
-                self.visit_place(&place, ctx, location)
+            StatementKind::SetDiscriminant { .. } => {
+                self.super_statement(statement, location)
             }
             // FIXME(eddyb) should these really do nothing?
             StatementKind::FakeRead(..) |