diff options
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.rs | 12 |
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() {} |