src/test/ui/const-generics/condition-in-trait-const-arg.rs

   1 // run-pass
   2
   3 #![feature(const_generics)]
   4 //~^ WARN the feature `const_generics` is incomplete
   5
   6 trait IsZeroTrait<const IS_ZERO: bool>{}
   7
   8 impl IsZeroTrait<{0u8 == 0u8}> for () {}
   9
  10 impl IsZeroTrait<true> for ((),) {}
  11
  12 fn main() {}