diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2020-03-13 19:28:14 -0700 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2020-03-29 13:13:17 -0700 |
| commit | 2c71894657bc0ac7a250170e3733f140750498a3 (patch) | |
| tree | 7a0fb70e4b6889c2d83056468f9dfce68ec9029d /src/test/ui/specialization/defaultimpl | |
| parent | 285519d412ef9c65df3bcd2de2b1a3d6ca16a255 (diff) | |
Tweak `suggest_constraining_type_param`
Some of the bound restriction structured suggestions were incorrect while others had subpar output.
Diffstat (limited to 'src/test/ui/specialization/defaultimpl')
| -rw-r--r-- | src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr b/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr index ee7c002b16d..4e4cad62475 100644 --- a/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr +++ b/src/test/ui/specialization/defaultimpl/specialization-wfcheck.stderr @@ -4,11 +4,10 @@ error[E0277]: the trait bound `U: std::cmp::Eq` is not satisfied LL | default impl<U> Foo<'static, U> for () {} | ^^^^^^^^^^^^^^^ the trait `std::cmp::Eq` is not implemented for `U` | -help: consider restricting this type parameter with `U: std::cmp::Eq` - --> $DIR/specialization-wfcheck.rs:7:14 +help: consider restricting type parameter `U` | -LL | default impl<U> Foo<'static, U> for () {} - | ^ +LL | default impl<U: std::cmp::Eq> Foo<'static, U> for () {} + | ^^^^^^^^^^^^^^ error: aborting due to previous error |