| error[E0080]: evaluation of constant value failed |
| --> $DIR/trivially-unsatisfied-bounds-0.rs:6:1 |
| | |
| LL | / const UNUSABLE: () = () |
| LL | | where |
| LL | | String: Copy; |
| | |_________________^ entering unreachable code |
| |
| error[E0277]: the trait bound `String: Copy` is not satisfied |
| --> $DIR/trivially-unsatisfied-bounds-0.rs:11:13 |
| | |
| LL | let _ = UNUSABLE; |
| | ^^^^^^^^ the trait `Copy` is not implemented for `String` |
| | |
| note: required by a bound in `UNUSABLE` |
| --> $DIR/trivially-unsatisfied-bounds-0.rs:8:13 |
| | |
| LL | const UNUSABLE: () = () |
| | -------- required by a bound in this constant |
| LL | where |
| LL | String: Copy; |
| | ^^^^ required by this bound in `UNUSABLE` |
| |
| error: aborting due to 2 previous errors |
| |
| Some errors have detailed explanations: E0080, E0277. |
| For more information about an error, try `rustc --explain E0080`. |
