diff options
| author | Esteban Kuber <esteban@kuber.com.ar> | 2021-10-13 14:28:28 +0000 |
|---|---|---|
| committer | Esteban Kuber <esteban@kuber.com.ar> | 2021-11-20 19:19:33 +0000 |
| commit | 9fa165d11b5eeedcf6e04f4812704d7fccf60ed6 (patch) | |
| tree | d719094389b9b651646d2cb822f179ffa95e8bc0 /src/test/ui/specialization/defaultimpl | |
| parent | 8f433adf75c9e3f1befea5115d7e84531b3668ad (diff) | |
| download | rust-9fa165d11b5eeedcf6e04f4812704d7fccf60ed6.tar.gz rust-9fa165d11b5eeedcf6e04f4812704d7fccf60ed6.zip | |
Point at `impl` blocks when they introduce unmet obligations
Group obligations by `impl` block that introduced them.
Diffstat (limited to 'src/test/ui/specialization/defaultimpl')
| -rw-r--r-- | src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr b/src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr index ce981bc0098..81e2a9a1ffc 100644 --- a/src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr +++ b/src/test/ui/specialization/defaultimpl/specialization-trait-not-implemented.stderr @@ -20,8 +20,12 @@ LL | struct MyStruct; LL | println!("{}", MyStruct.foo_one()); | ^^^^^^^ method cannot be called on `MyStruct` due to unsatisfied trait bounds | - = note: the following trait bounds were not satisfied: - `MyStruct: Foo` +note: the following trait bounds were not satisfied because of the requirements of the implementation of `Foo` for `_`: + `MyStruct: Foo` + --> $DIR/specialization-trait-not-implemented.rs:14:17 + | +LL | default impl<T> Foo for T { + | ^^^ ^ note: the following trait must be implemented --> $DIR/specialization-trait-not-implemented.rs:7:1 | |