summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/parser-error-recovery/issue-89013-no-kw.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/parser-error-recovery/issue-89013-no-kw.rs')
-rw-r--r--src/test/ui/const-generics/parser-error-recovery/issue-89013-no-kw.rs18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/parser-error-recovery/issue-89013-no-kw.rs b/src/test/ui/const-generics/parser-error-recovery/issue-89013-no-kw.rs
new file mode 100644
index 000000000..b126b2485
--- /dev/null
+++ b/src/test/ui/const-generics/parser-error-recovery/issue-89013-no-kw.rs
@@ -0,0 +1,18 @@
+trait Foo<const N: usize> {
+ fn do_x(&self) -> [u8; N];
+}
+
+struct Bar;
+
+const T: usize = 42;
+
+impl Foo<N = 3> for Bar {
+//~^ ERROR this trait takes 1 generic argument but 0 generic arguments were supplied
+//~| ERROR associated type bindings are not allowed here
+//~| ERROR associated const equality is incomplete
+ fn do_x(&self) -> [u8; 3] {
+ [0u8; 3]
+ }
+}
+
+fn main() {}