| error: generic parameters may not be used in const operations |
| --> $DIR/issue-64494.rs:16:38 |
| | |
| LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {} |
| | ^^^^^^ cannot perform const operation using `T` |
| | |
| = note: type parameters may not be used in const expressions |
| |
| error: generic parameters may not be used in const operations |
| --> $DIR/issue-64494.rs:19:38 |
| | |
| LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {} |
| | ^^^^^^ cannot perform const operation using `T` |
| | |
| = note: type parameters may not be used in const expressions |
| |
| error[E0119]: conflicting implementations of trait `MyTrait`: |
| --> $DIR/issue-64494.rs:19:1 |
| | |
| LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 5}>: True {} |
| | ------------------------------------ first implementation here |
| ... |
| LL | impl<T: Foo> MyTrait for T where Is<{T::VAL == 6}>: True {} |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation |
| |
| error: aborting due to 3 previous errors |
| |
| For more information about this error, try `rustc --explain E0119`. |
