src/test/ui/const-generics/issues/issue-64494.rs

   1 #![feature(const_generics)]
   2 #![allow(incomplete_features)]
   3
   4 trait Foo {
   5     const VAL: usize;
   6 }
   7
   8 trait MyTrait {}
   9
  10 trait True {}
  11 struct Is<const T: bool>;
  12 impl True for Is<{true}> {}
  13
  14 impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
  15 //~^ ERROR constant expression depends on a generic parameter
  16 impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {}
  17 //~^ ERROR constant expression depends on a generic parameter
  18
  19 fn main() {}