diff options
Diffstat (limited to 'src/test/ui/const-generics/generic_const_exprs/issue-74634.rs')
-rw-r--r-- | src/test/ui/const-generics/generic_const_exprs/issue-74634.rs | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/src/test/ui/const-generics/generic_const_exprs/issue-74634.rs b/src/test/ui/const-generics/generic_const_exprs/issue-74634.rs deleted file mode 100644 index cd1f7a9da..000000000 --- a/src/test/ui/const-generics/generic_const_exprs/issue-74634.rs +++ /dev/null @@ -1,28 +0,0 @@ -// check-pass -#![feature(generic_const_exprs)] -#![allow(incomplete_features)] - -trait If<const COND: bool> {} -impl If<true> for () {} - -trait IsZero<const N: u8> { - type Answer; -} - -struct True; -struct False; - -impl<const N: u8> IsZero<N> for () -where (): If<{N == 0}> { - type Answer = True; -} - -trait Foobar<const N: u8> {} - -impl<const N: u8> Foobar<N> for () -where (): IsZero<N, Answer = True> {} - -impl<const N: u8> Foobar<N> for () -where (): IsZero<N, Answer = False> {} - -fn main() {} |