]> git.proxmox.com Git - rustc.git/blobdiff - src/test/ui/wf/wf-trait-bound.stderr
New upstream version 1.56.0~beta.4+dfsg1
[rustc.git] / src / test / ui / wf / wf-trait-bound.stderr
index c9e818f8e7dc8d62bb08b84a770e4642cdcc3dce..bace3e3ef00810067ed4ebc3934c7a0288a13592 100644 (file)
@@ -1,16 +1,18 @@
 error[E0277]: the trait bound `U: Copy` is not satisfied
   --> $DIR/wf-trait-bound.rs:10:14
    |
-LL | trait ExtraCopy<T:Copy> { }
-   |                   ---- required by this bound in `ExtraCopy`
-...
 LL |     where T: ExtraCopy<U>
    |              ^^^^^^^^^^^^ the trait `Copy` is not implemented for `U`
    |
+note: required by a bound in `ExtraCopy`
+  --> $DIR/wf-trait-bound.rs:7:19
+   |
+LL | trait ExtraCopy<T:Copy> { }
+   |                   ^^^^ required by this bound in `ExtraCopy`
 help: consider further restricting type parameter `U`
    |
 LL |     where T: ExtraCopy<U>, U: std::marker::Copy
-   |                          ^^^^^^^^^^^^^^^^^^^^^^
+   |                          ++++++++++++++++++++++
 
 error: aborting due to previous error