diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2023-08-25 15:59:59 +0000 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2023-08-26 02:23:25 +0000 |
| commit | bac0e556f008f5853d13fd98b859348b5ba813a9 (patch) | |
| tree | 38adc221085a77f4c28551bcbfe603cf1eb83b7f /compiler/rustc_interface/src/errors.rs | |
| parent | 120c24dab5806d458513b399151a411cb367697f (diff) | |
| download | rust-bac0e556f008f5853d13fd98b859348b5ba813a9.tar.gz rust-bac0e556f008f5853d13fd98b859348b5ba813a9.zip | |
On let binding type point to type parameter that introduced unmet bound
On the following example, point at `String` instead of the whole type: ``` error[E0277]: the trait bound `String: Copy` is not satisfied --> $DIR/own-bound-span.rs:14:24 | LL | let _: <S as D>::P<String>; | ^^^^^^ the trait `Copy` is not implemented for `String` | note: required by a bound in `D::P` --> $DIR/own-bound-span.rs:4:15 | LL | type P<T: Copy>; | ^^^^ required by this bound in `D::P` ```
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions