summaryrefslogtreecommitdiffstats
path: root/tests/ui/specialization/min_specialization/bad-const-wf-doesnt-specialize.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/specialization/min_specialization/bad-const-wf-doesnt-specialize.rs')
-rw-r--r--tests/ui/specialization/min_specialization/bad-const-wf-doesnt-specialize.rs12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/ui/specialization/min_specialization/bad-const-wf-doesnt-specialize.rs b/tests/ui/specialization/min_specialization/bad-const-wf-doesnt-specialize.rs
new file mode 100644
index 000000000..5fd7c647c
--- /dev/null
+++ b/tests/ui/specialization/min_specialization/bad-const-wf-doesnt-specialize.rs
@@ -0,0 +1,12 @@
+#![feature(min_specialization)]
+
+// An impl that has an erroneous const substitution should not specialize one
+// that is well-formed.
+#[derive(Clone)]
+struct S<const L: usize>;
+
+impl<const N: i32> Copy for S<N> {}
+//~^ ERROR the constant `N` is not of type `usize`
+impl<const M: usize> Copy for S<M> {}
+
+fn main() {}