Matthias Krüger 07bd4590fb

Rollup merge of #121875 - estebank:e0277-drive-by, r=compiler-errors ...

Account for unmet T: !Copy in E0277 message

```
error[E0277]: the trait bound `T: !Copy` is not satisfied
  --> $DIR/simple.rs:10:16
   |
LL |     not_copy::<T>();
   |                ^ the trait bound `T: !Copy` is not satisfied
```
instead of the current

```
error[E0277]: the trait bound `T: !Copy` is not satisfied
  --> $DIR/simple.rs:10:16
   |
LL |     not_copy::<T>();
   |                ^ the trait `!Copy` is not implemented for `T`
```

2024-03-02 10:09:38 +01:00

..

associated-constraints.rs

…

associated-constraints.stderr

…

opaque-type-unsatisfied-bound.rs

…

opaque-type-unsatisfied-bound.stderr

…

opaque-type-unsatisfied-fn-bound.rs

…

opaque-type-unsatisfied-fn-bound.stderr

…

simple.rs

…

simple.stderr

Account for unmet T: !Copy in E0277 message

2024-03-02 01:53:37 +00:00

supertrait.rs

…