about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2022-06-29 21:38:42 +0200
committerMatthias Krüger <matthias.krueger@famsik.de>2022-06-29 21:38:42 +0200
commit5f75e7104a811c8cf4cc0f540d5c11abcdad7710 (patch)
tree9777a8d3251b272fb810899a8b6e85d1886dcb77
parent3fcf43bb0f3e86c16a88f239da18a1729a94d244 (diff)
downloadrust-5f75e7104a811c8cf4cc0f540d5c11abcdad7710.tar.gz
rust-5f75e7104a811c8cf4cc0f540d5c11abcdad7710.zip
add test for ice 68875
Fixes #68875
-rw-r--r--src/test/ui/const-generics/ice-68875.rs11
-rw-r--r--src/test/ui/const-generics/ice-68875.stderr8
2 files changed, 19 insertions, 0 deletions
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 00000000000..2ef7cfdbe27
--- /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 00000000000..1db62c57fd4
--- /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
+