From 5f75e7104a811c8cf4cc0f540d5c11abcdad7710 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= Date: Wed, 29 Jun 2022 21:38:42 +0200 Subject: [PATCH] add test for ice 68875 Fixes #68875 --- src/test/ui/const-generics/ice-68875.rs | 11 +++++++++++ src/test/ui/const-generics/ice-68875.stderr | 8 ++++++++ 2 files changed, 19 insertions(+) create mode 100644 src/test/ui/const-generics/ice-68875.rs create mode 100644 src/test/ui/const-generics/ice-68875.stderr diff --git a/src/test/ui/const-generics/ice-68875.rs b/src/test/ui/const-generics/ice-68875.rs new file mode 100644 index 0000000000000..2ef7cfdbe2735 --- /dev/null +++ b/src/test/ui/const-generics/ice-68875.rs @@ -0,0 +1,11 @@ +// check-fail + +struct DataWrapper<'a> { + data: &'a [u8; Self::SIZE], //~ ERROR generic `Self` types are currently not permitted in anonymous constants +} + +impl DataWrapper<'_> { + const SIZE: usize = 14; +} + +pub fn main() {} diff --git a/src/test/ui/const-generics/ice-68875.stderr b/src/test/ui/const-generics/ice-68875.stderr new file mode 100644 index 0000000000000..1db62c57fd438 --- /dev/null +++ b/src/test/ui/const-generics/ice-68875.stderr @@ -0,0 +1,8 @@ +error: generic `Self` types are currently not permitted in anonymous constants + --> $DIR/ice-68875.rs:4:20 + | +LL | data: &'a [u8; Self::SIZE], + | ^^^^ + +error: aborting due to previous error +