]> git.proxmox.com Git - rustc.git/blobdiff - src/test/ui/wf/wf-trait-default-fn-ret.stderr
New upstream version 1.56.0~beta.4+dfsg1
[rustc.git] / src / test / ui / wf / wf-trait-default-fn-ret.stderr
index e32630a5a4a400025b55a06774fd01768d910fce..6422e862d287de4404b32cecc9018229983bec34 100644 (file)
@@ -1,19 +1,18 @@
-error[E0277]: the trait bound `Self: std::cmp::Eq` is not satisfied
-  --> $DIR/wf-trait-default-fn-ret.rs:11:5
+error[E0277]: the trait bound `Self: Eq` is not satisfied
+  --> $DIR/wf-trait-default-fn-ret.rs:11:22
    |
-LL |   struct Bar<T:Eq+?Sized> { value: Box<T> }
-   |   ----------------------- required by `Bar`
-...
-LL |       fn bar(&self) -> Bar<Self> {
-   |       ^                         - help: consider further restricting `Self`: `where Self: std::cmp::Eq`
-   |  _____|
-   | |
-LL | |
-LL | |         //
-LL | |         // Here, Eq ought to be implemented.
-LL | |         loop { }
-LL | |     }
-   | |_____^ the trait `std::cmp::Eq` is not implemented for `Self`
+LL |     fn bar(&self) -> Bar<Self> {
+   |                      ^^^^^^^^^ the trait `Eq` is not implemented for `Self`
+   |
+note: required by a bound in `Bar`
+  --> $DIR/wf-trait-default-fn-ret.rs:8:14
+   |
+LL | struct Bar<T:Eq+?Sized> { value: Box<T> }
+   |              ^^ required by this bound in `Bar`
+help: consider further restricting `Self`
+   |
+LL |     fn bar(&self) -> Bar<Self> where Self: Eq {
+   |                                ++++++++++++++
 
 error: aborting due to previous error