src/test/ui/const-generics/issues/issue-64494.min.stderr

   1 error: generic parameters must not be used inside of non-trivial constant values
   2   --> $DIR/issue-64494.rs:16:38
   3    |
   4 LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
   5    |                                      ^^^^^^ non-trivial anonymous constants must not depend on the parameter `T`
   6    |
   7    = note: type parameters are currently not permitted in anonymous constants
   8
   9 error: generic parameters must not be used inside of non-trivial constant values
  10   --> $DIR/issue-64494.rs:19:38
  11    |
  12 LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {}
  13    |                                      ^^^^^^ non-trivial anonymous constants must not depend on the parameter `T`
  14    |
  15    = note: type parameters are currently not permitted in anonymous constants
  16
  17 error[E0119]: conflicting implementations of trait `MyTrait`:
  18   --> $DIR/issue-64494.rs:19:1
  19    |
  20 LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
  21    | ------------------------------------ first implementation here
  22 ...
  23 LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {}
  24    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation
  25
  26 error: aborting due to 3 previous errors
  27
  28 For more information about this error, try `rustc --explain E0119`.