| error: implementation of `Lengthen` is not general enough | |
| --> $DIR/gat-bounds-not-checked-with-right-substitutions.rs:20:20 | |
| | | |
| LL | type Gat<'a> = &'a str; | |
| | ^^^^^^^ implementation of `Lengthen` is not general enough | |
| | | |
| = note: `Lengthen<&'0 str>` would have to be implemented for the type `&'a str`, for any lifetime `'0`... | |
| = note: ...but `Lengthen<&'1 str>` is actually implemented for the type `&'1 str`, for some specific lifetime `'1` | |
| error: aborting due to 1 previous error | |