From f2e7faf15327082a1e699ecdeadfd5f2cef2b8ee Mon Sep 17 00:00:00 2001 From: Dylan MacKenzie Date: Wed, 25 Sep 2019 14:56:50 -0700 Subject: [PATCH] Revert "Use conservative, type-based qualifcation for statics" This reverts commit ac7a343cef8287427a98b9210cdb1a772486be10. --- src/librustc_mir/transform/check_consts/qualifs.rs | 5 +++-- 1 file 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 5902ee0cc3f9..dd2ea914402c 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(