diff options
Diffstat (limited to 'tests/ui/traits/new-solver/unevaluated-const-impl-trait-ref.rs')
-rw-r--r-- | tests/ui/traits/new-solver/unevaluated-const-impl-trait-ref.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/tests/ui/traits/new-solver/unevaluated-const-impl-trait-ref.rs b/tests/ui/traits/new-solver/unevaluated-const-impl-trait-ref.rs deleted file mode 100644 index 26c595bc9..000000000 --- a/tests/ui/traits/new-solver/unevaluated-const-impl-trait-ref.rs +++ /dev/null @@ -1,22 +0,0 @@ -// compile-flags: -Ztrait-solver=next -// revisions: works fails -//[works] check-pass - -trait Trait<const N: usize> {} - -impl Trait<{ 1 - 1 }> for () {} -impl Trait<{ 1 + 1 }> for () {} - -fn needs<const N: usize>() where (): Trait<N> {} - -#[cfg(works)] -fn main() { - needs::<0>(); - needs::<2>(); -} - -#[cfg(fails)] -fn main() { - needs::<1>(); - //[fails]~^ ERROR the trait bound `(): Trait<1>` is not satisfied -} |