Rollup merge of #106608 - compiler-errors:missing-generics-verbose, r=estebank

Render missing generics suggestion verbosely

It's a bit easier to read like this, especially ones that are appending new generics onto an existing list, like ": `, T`" which render somewhat poorly inline.

Also don't suggest `dyn` as a type parameter to add, even if technically that's valid in edition 2015.
This commit is contained in:
Yuki Okushi 2023-01-13 16:54:22 +09:00 committed by GitHub
commit 71b99c48ee

View file

@ -17,9 +17,12 @@ error[E0412]: cannot find type `VAL` in this scope
--> $DIR/ice-6252.rs:10:63 --> $DIR/ice-6252.rs:10:63
| |
LL | impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {} LL | impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
| - ^^^ not found in this scope | ^^^ not found in this scope
| | |
| help: you might be missing a type parameter: `, VAL` help: you might be missing a type parameter
|
LL | impl<N, M, VAL> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
| +++++
error[E0046]: not all trait items implemented, missing: `VAL` error[E0046]: not all trait items implemented, missing: `VAL`
--> $DIR/ice-6252.rs:10:1 --> $DIR/ice-6252.rs:10:1