233a45c41a
We used to lower such bad defaulted const args in trait object types to
`{type error}`; now correctly lower them to `{const error}`.
The added tests used to ICE prior to this change.
18 lines
711 B
Text
18 lines
711 B
Text
error[E0393]: the type parameter `T` must be explicitly specified
|
|
--> $DIR/E0393.rs:3:47
|
|
|
|
|
LL | trait A<T=Self> {}
|
|
| --------------- type parameter `T` must be specified for this
|
|
LL |
|
|
LL | fn together_we_will_rule_the_galaxy(son: &dyn A) {}
|
|
| ^
|
|
|
|
|
= note: because the parameter default references `Self`, the parameter must be specified on the trait object type
|
|
help: explicitly specify the type parameter
|
|
|
|
|
LL | fn together_we_will_rule_the_galaxy(son: &dyn A</* T */>) {}
|
|
| +++++++++
|
|
|
|
error: aborting due to 1 previous error
|
|
|
|
For more information about this error, try `rustc --explain E0393`.
|