From c81935e6dfd3877db266f0a01d9323f203f92eda Mon Sep 17 00:00:00 2001
From: Bastian Kauschke <bastian_kauschke@hotmail.de>
Date: Thu, 6 Aug 2020 10:00:08 +0200
Subject: make `ConstEvaluatable` more strict

---
 src/test/ui/const_evaluatable/associated_const.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 src/test/ui/const_evaluatable/associated_const.rs

(limited to 'src/test/ui/const_evaluatable')

diff --git a/src/test/ui/const_evaluatable/associated_const.rs b/src/test/ui/const_evaluatable/associated_const.rs
new file mode 100644
index 00000000000..a6777632254
--- /dev/null
+++ b/src/test/ui/const_evaluatable/associated_const.rs
@@ -0,0 +1,11 @@
+// check-pass
+struct Foo<T>(T);
+impl<T> Foo<T> {
+    const VALUE: usize = std::mem::size_of::<T>();
+}
+
+fn test<T>() {
+    let _ = [0; Foo::<u8>::VALUE];
+}
+
+fn main() {}
-- 
cgit 1.4.1-3-g733a5