about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorRyan Scott <ryan@ryan-scott.me>2017-04-07 12:20:37 +0900
committerRyan Scott <ryan@ryan-scott.me>2017-04-07 12:20:37 +0900
commitc9932b395ada3c367aea5e79645c10657262ea6f (patch)
tree5514a7dc3628724a4246f4d0a6b63ae5ad0241e8 /src
parente753dfa9a945043c7c465fc3f1e9389585e096d0 (diff)
Changes based on PR feedback
Diffstat (limited to 'src')
-rw-r--r--src/librustc_mir/transform/qualify_consts.rs9
1 files changed, 2 insertions, 7 deletions
diff --git a/src/librustc_mir/transform/qualify_consts.rs b/src/librustc_mir/transform/qualify_consts.rs
index cdbc0bd8858..8eabe92fb98 100644
--- a/src/librustc_mir/transform/qualify_consts.rs
+++ b/src/librustc_mir/transform/qualify_consts.rs
@@ -603,7 +603,8 @@ impl<'a, 'tcx> Visitor<'tcx> for Qualifier<'a, 'tcx, 'tcx> {
             Rvalue::Cast(CastKind::ReifyFnPointer, ..) |
             Rvalue::Cast(CastKind::UnsafeFnPointer, ..) |
             Rvalue::Cast(CastKind::ClosureFnPointer, ..) |
-            Rvalue::Cast(CastKind::Unsize, ..) => {}
+            Rvalue::Cast(CastKind::Unsize, ..) |
+            Rvalue::Discriminant(..) => {}
 
             Rvalue::Len(_) => {
                 // Static lvalues in consts would have errored already,
@@ -721,12 +722,6 @@ impl<'a, 'tcx> Visitor<'tcx> for Qualifier<'a, 'tcx, 'tcx> {
                 }
             }
 
-            Rvalue::Discriminant(..) => {
-                // FIXME implement discriminant const qualify
-                self.add(Qualif::NOT_CONST);
-                // Discriminants in consts will error elsewhere as an unimplemented expression type
-            }
-
             Rvalue::Box(_) => {
                 self.add(Qualif::NOT_CONST);
                 if self.mode != Mode::Fn {