diff options
| author | Michael Goulet <michael@errs.io> | 2023-01-12 18:51:09 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-01-12 20:44:47 +0000 |
| commit | d76e168f01e5ed6fc4bbdc127dacb121b51de098 (patch) | |
| tree | 117d106f030bb32c60493434ed615103e2cf3138 /tests | |
| parent | 1bc3683b3275a5eb2ed13d24edcdcbc59afe5d70 (diff) | |
| download | rust-d76e168f01e5ed6fc4bbdc127dacb121b51de098.tar.gz rust-d76e168f01e5ed6fc4bbdc127dacb121b51de098.zip | |
Point at HIR types when impl trait ref doesn't normalize
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/ui/specialization/min_specialization/issue-79224.stderr | 4 | ||||
| -rw-r--r-- | tests/ui/traits/issue-91594.stderr | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/tests/ui/specialization/min_specialization/issue-79224.stderr b/tests/ui/specialization/min_specialization/issue-79224.stderr index be6f04ae62a..505baa23ca3 100644 --- a/tests/ui/specialization/min_specialization/issue-79224.stderr +++ b/tests/ui/specialization/min_specialization/issue-79224.stderr @@ -1,8 +1,8 @@ error[E0277]: the trait bound `B: Clone` is not satisfied - --> $DIR/issue-79224.rs:18:17 + --> $DIR/issue-79224.rs:18:29 | LL | impl<B: ?Sized> Display for Cow<'_, B> { - | ^^^^^^^ the trait `Clone` is not implemented for `B` + | ^^^^^^^^^^ the trait `Clone` is not implemented for `B` | = note: required for `B` to implement `ToOwned` help: consider further restricting this bound diff --git a/tests/ui/traits/issue-91594.stderr b/tests/ui/traits/issue-91594.stderr index 6b314fa586d..85d903fadd1 100644 --- a/tests/ui/traits/issue-91594.stderr +++ b/tests/ui/traits/issue-91594.stderr @@ -1,8 +1,8 @@ error[E0277]: the trait bound `Foo: HasComponent<()>` is not satisfied - --> $DIR/issue-91594.rs:10:6 + --> $DIR/issue-91594.rs:10:19 | LL | impl HasComponent<<Foo as Component<Foo>>::Interface> for Foo {} - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `HasComponent<()>` is not implemented for `Foo` + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `HasComponent<()>` is not implemented for `Foo` | = help: the trait `HasComponent<<Foo as Component<Foo>>::Interface>` is implemented for `Foo` note: required for `Foo` to implement `Component<Foo>` |