From ad7f330f526ba1f1ecaee94da88f8cf87b225492 Mon Sep 17 00:00:00 2001
From: Ethan Brierley <ethanboxx@gmail.com>
Date: Wed, 11 Nov 2020 22:48:52 +0000
Subject: [PATCH 1/2] Add test `default_function_param`

---
 .../min_const_generics/default_function_param.rs          | 6 ++++++
 .../min_const_generics/default_function_param.stderr      | 8 ++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 src/test/ui/const-generics/min_const_generics/default_function_param.rs
 create mode 100644 src/test/ui/const-generics/min_const_generics/default_function_param.stderr

diff --git a/src/test/ui/const-generics/min_const_generics/default_function_param.rs b/src/test/ui/const-generics/min_const_generics/default_function_param.rs
new file mode 100644
index 0000000000000..7e0c1c2ed9fa0
--- /dev/null
+++ b/src/test/ui/const-generics/min_const_generics/default_function_param.rs
@@ -0,0 +1,6 @@
+#![feature(min_const_generics)]
+
+fn foo<const SIZE: usize = 5>() {}
+                      //~^ ERROR expected one of `!`, `(`, `+`, `,`, `::`, `<`, or `>`, found `=`
+
+fn main() {}
diff --git a/src/test/ui/const-generics/min_const_generics/default_function_param.stderr b/src/test/ui/const-generics/min_const_generics/default_function_param.stderr
new file mode 100644
index 0000000000000..ed1a83b6a4dd5
--- /dev/null
+++ b/src/test/ui/const-generics/min_const_generics/default_function_param.stderr
@@ -0,0 +1,8 @@
+error: expected one of `!`, `(`, `+`, `,`, `::`, `<`, or `>`, found `=`
+  --> $DIR/default_function_param.rs:3:26
+   |
+LL | fn foo<const SIZE: usize = 5>() {}
+   |                          ^ expected one of 7 possible tokens
+
+error: aborting due to previous error
+

From 1d3f9d030bcde5e3e5dec3ed4787996a13bf01a6 Mon Sep 17 00:00:00 2001
From: Ethan Brierley <ethanboxx@gmail.com>
Date: Wed, 11 Nov 2020 22:49:09 +0000
Subject: [PATCH 2/2] default_trait_param

---
 .../min_const_generics/default_trait_param.rs             | 6 ++++++
 .../min_const_generics/default_trait_param.stderr         | 8 ++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 src/test/ui/const-generics/min_const_generics/default_trait_param.rs
 create mode 100644 src/test/ui/const-generics/min_const_generics/default_trait_param.stderr

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 0000000000000..322ddccbf1899
--- /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 0000000000000..49c3ac86744a0
--- /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
+