diff options
| author | Bastian Kauschke <bastian_kauschke@hotmail.de> | 2020-08-06 10:00:08 +0200 |
|---|---|---|
| committer | Bastian Kauschke <bastian_kauschke@hotmail.de> | 2020-09-08 16:39:12 +0200 |
| commit | c81935e6dfd3877db266f0a01d9323f203f92eda (patch) | |
| tree | de33a2c05acad8b98b4318a8f29e3c42de870c02 /src/test/ui/const_evaluatable | |
| parent | 7bc0bf72545f5d6ac6d9639391da875d5e147d9a (diff) | |
| download | rust-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.rs | 11 |
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() {} |
