about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEthan Brierley <ethanboxx@gmail.com>2020-11-11 22:49:09 +0000
committerEthan Brierley <ethanboxx@gmail.com>2020-11-11 22:49:09 +0000
commit1d3f9d030bcde5e3e5dec3ed4787996a13bf01a6 (patch)
tree769fa275a985adacecb59b46f4fadf49dab5f4b5
parentad7f330f526ba1f1ecaee94da88f8cf87b225492 (diff)
downloadrust-1d3f9d030bcde5e3e5dec3ed4787996a13bf01a6.tar.gz
rust-1d3f9d030bcde5e3e5dec3ed4787996a13bf01a6.zip
default_trait_param
-rw-r--r--src/test/ui/const-generics/min_const_generics/default_trait_param.rs6
-rw-r--r--src/test/ui/const-generics/min_const_generics/default_trait_param.stderr8
2 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/min_const_generics/default_trait_param.rs b/src/test/ui/const-generics/min_const_generics/default_trait_param.rs
new file mode 100644
index 00000000000..322ddccbf18
--- /dev/null
+++ b/src/test/ui/const-generics/min_const_generics/default_trait_param.rs
@@ -0,0 +1,6 @@
+#![feature(min_const_generics)]
+
+trait Foo<const KIND: bool = true> {}
+                        //~^ ERROR expected one of `!`, `(`, `+`, `,`, `::`, `<`, or `>`, found `=`
+
+fn main() {}
diff --git a/src/test/ui/const-generics/min_const_generics/default_trait_param.stderr b/src/test/ui/const-generics/min_const_generics/default_trait_param.stderr
new file mode 100644
index 00000000000..49c3ac86744
--- /dev/null
+++ b/src/test/ui/const-generics/min_const_generics/default_trait_param.stderr
@@ -0,0 +1,8 @@
+error: expected one of `!`, `(`, `+`, `,`, `::`, `<`, or `>`, found `=`
+  --> $DIR/default_trait_param.rs:3:28
+   |
+LL | trait Foo<const KIND: bool = true> {}
+   |                            ^ expected one of 7 possible tokens
+
+error: aborting due to previous error
+