1 error: constant expression depends on a generic parameter
2 --> $DIR/issue-64494.rs:15:53
4 LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {}
7 = note: this may fail depending on what value the parameter takes
9 error: constant expression depends on a generic parameter
10 --> $DIR/issue-64494.rs:18:53
12 LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {}
15 = note: this may fail depending on what value the parameter takes
17 error: aborting due to 2 previous errors