diff options
| author | Christian Poveda <christianpoveda@protonmail.com> | 2019-11-26 17:23:24 -0500 |
|---|---|---|
| committer | Christian Poveda <christianpoveda@protonmail.com> | 2019-11-26 17:23:24 -0500 |
| commit | d7c09f7e1e446390ed3f02ed576a1efce5279b96 (patch) | |
| tree | 6f8f5bd385a60dbf0bd59ec31a31d379a90d3ff8 | |
| parent | c66ad1405782c49bc01b9c2a0b3634765a7cecea (diff) | |
Change way of checking SetDiscriminant
| -rw-r--r-- | src/librustc_mir/transform/check_consts/validation.rs | 5 |
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(..) | |
