about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorDylan MacKenzie <ecstaticmorse@gmail.com>2019-09-25 14:56:50 -0700
committerDylan MacKenzie <ecstaticmorse@gmail.com>2019-09-28 07:06:52 -0700
commitf2e7faf15327082a1e699ecdeadfd5f2cef2b8ee (patch)
treedaa0e775b134e8377890d01de26a92b43f7872a5 /src
parent8bfe82bfad881c580b02fe61b699a770790e18e2 (diff)
downloadrust-f2e7faf15327082a1e699ecdeadfd5f2cef2b8ee.tar.gz
rust-f2e7faf15327082a1e699ecdeadfd5f2cef2b8ee.zip
Revert "Use conservative, type-based qualifcation for statics"
This reverts commit ac7a343cef8287427a98b9210cdb1a772486be10.
Diffstat (limited to 'src')
-rw-r--r--src/librustc_mir/transform/check_consts/qualifs.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/librustc_mir/transform/check_consts/qualifs.rs b/src/librustc_mir/transform/check_consts/qualifs.rs
index 5902ee0cc3f..dd2ea914402 100644
--- a/src/librustc_mir/transform/check_consts/qualifs.rs
+++ b/src/librustc_mir/transform/check_consts/qualifs.rs
@@ -34,8 +34,9 @@ pub trait Qualif {
     /// of the type.
     fn in_any_value_of_ty(_cx: &ConstCx<'_, 'tcx>, _ty: Ty<'tcx>) -> bool;
 
-    fn in_static(cx: &ConstCx<'_, 'tcx>, statik: &Static<'tcx>) -> bool {
-        Self::in_any_value_of_ty(cx, statik.ty)
+    fn in_static(_cx: &ConstCx<'_, 'tcx>, _static: &Static<'tcx>) -> bool {
+        // FIXME(eddyb) should we do anything here for value properties?
+        false
     }
 
     fn in_projection_structurally(