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