New upstream version 1.56.0~beta.4+dfsg1

[rustc.git] / src / test / ui / wf / wf-inherent-impl-method-where-clause.stderr

diff --git a/src/test/ui/wf/wf-inherent-impl-method-where-clause.stderr b/src/test/ui/wf/wf-inherent-impl-method-where-clause.stderr
index 8e0ce557e6b43cecb728a6164d01eb3090e42196..e723d1ba76bcc43b1fca2f82e17cad2b9930a0e2 100644 (file)
--- a/src/test/ui/wf/wf-inherent-impl-method-where-clause.stderr
+++ b/src/test/ui/wf/wf-inherent-impl-method-where-clause.stderr
@@ -1,16 +1,18 @@
 error[E0277]: the trait bound `U: Copy` is not satisfied
   --> $DIR/wf-inherent-impl-method-where-clause.rs:12:27
    |
-LL | trait ExtraCopy<T:Copy> { }
-   |                   ---- required by this bound in `ExtraCopy`
-...
 LL |     fn foo(self) where T: ExtraCopy<U>
    |                           ^^^^^^^^^^^^ the trait `Copy` is not implemented for `U`
    |
+note: required by a bound in `ExtraCopy`
+  --> $DIR/wf-inherent-impl-method-where-clause.rs:7:19
+   |
+LL | trait ExtraCopy<T:Copy> { }
+   |                   ^^^^ required by this bound in `ExtraCopy`
 help: consider restricting type parameter `U`
    |
 LL | impl<T,U: std::marker::Copy> Foo<T,U> {
-   |         ^^^^^^^^^^^^^^^^^^^
+   |         +++++++++++++++++++
 
 error: aborting due to previous error