summary refs log tree commit diff
path: root/src/test/ui/const_evaluatable
diff options
context:
space:
mode:
authorBastian Kauschke <bastian_kauschke@hotmail.de>2020-08-06 10:00:08 +0200
committerBastian Kauschke <bastian_kauschke@hotmail.de>2020-09-08 16:39:12 +0200
commitc81935e6dfd3877db266f0a01d9323f203f92eda (patch)
treede33a2c05acad8b98b4318a8f29e3c42de870c02 /src/test/ui/const_evaluatable
parent7bc0bf72545f5d6ac6d9639391da875d5e147d9a (diff)
downloadrust-c81935e6dfd3877db266f0a01d9323f203f92eda.tar.gz
rust-c81935e6dfd3877db266f0a01d9323f203f92eda.zip
make `ConstEvaluatable` more strict
Diffstat (limited to 'src/test/ui/const_evaluatable')
-rw-r--r--src/test/ui/const_evaluatable/associated_const.rs11
1 files changed, 11 insertions, 0 deletions
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() {}