summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/nested-type.min.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/const-generics/nested-type.min.stderr')
-rw-r--r--tests/ui/const-generics/nested-type.min.stderr28
1 files changed, 28 insertions, 0 deletions
diff --git a/tests/ui/const-generics/nested-type.min.stderr b/tests/ui/const-generics/nested-type.min.stderr
new file mode 100644
index 000000000..cff02b0d4
--- /dev/null
+++ b/tests/ui/const-generics/nested-type.min.stderr
@@ -0,0 +1,28 @@
+error: `[u8; {
+ struct Foo<const N: usize>;
+
+ impl<const N: usize> Foo<N> {
+ fn value() -> usize {
+ N
+ }
+ }
+
+ Foo::<17>::value()
+ }]` is forbidden as the type of a const generic parameter
+ --> $DIR/nested-type.rs:6:21
+ |
+LL | struct Foo<const N: [u8; {
+ | _____________________^
+LL | | struct Foo<const N: usize>;
+LL | |
+LL | | impl<const N: usize> Foo<N> {
+... |
+LL | |
+LL | | }]>;
+ | |__^
+ |
+ = note: the only supported types are integers, `bool` and `char`
+ = help: more complex types are supported with `#![feature(adt_const_params)]`
+
+error: aborting due to previous error
+