2 #![feature(generic_const_exprs)]
3 #![allow(incomplete_features)]
5 trait If<const COND: bool> {}
6 impl If<true> for () {}
8 trait IsZero<const N: u8> {
15 impl<const N: u8> IsZero<N> for ()
16 where (): If<{N == 0}> {
20 trait Foobar<const N: u8> {}
22 impl<const N: u8> Foobar<N> for ()
23 where (): IsZero<N, Answer = True> {}
25 impl<const N: u8> Foobar<N> for ()
26 where (): IsZero<N, Answer = False> {}