1 files changed, 22 insertions, 0 deletions
diff --git a/tests/ui/const-generics/defaults/mismatch.rs b/tests/ui/const-generics/defaults/mismatch.rs
new file mode 100644
index 00000000000..ec131505ed7
--- /dev/null
+++ b/tests/ui/const-generics/defaults/mismatch.rs
@@ -0,0 +1,22 @@
+pub struct Example<const N: usize = 13>;
+pub struct Example2<T = u32, const N: usize = 13>(T);
+pub struct Example3<const N: usize = 13, T = u32>(T);
+pub struct Example4<const N: usize = 13, const M: usize = 4>;
+
+fn main() {
+    let e: Example<13> = ();
+    //~^ Error: mismatched types
+    //~| expected struct `Example`
+    let e: Example2<u32, 13> = ();
+    //~^ Error: mismatched types
+    //~| expected struct `Example2`
+    let e: Example3<13, u32> = ();
+    //~^ Error: mismatched types
+    //~| expected struct `Example3`
+    let e: Example3<7> = ();
+    //~^ Error: mismatched types
+    //~| expected struct `Example3<7>`
+    let e: Example4<7> = ();
+    //~^ Error: mismatched types
+    //~| expected struct `Example4<7>`
+}