update comment

This commit is contained in:
lcnr 2025-01-20 16:42:58 +01:00 committed by JJ_EMPTY_STRING
parent 8c078fde36
commit fa6b95fc4e
2 changed files with 3 additions and 4 deletions

View file

@ -1,5 +1,4 @@
// Check that we test WF conditions for fn arguments. Because the
// current code is so goofy, this is only a warning for now.
// Check that we test WF conditions for fn arguments.
#![feature(rustc_attrs)]
#![allow(dead_code)]

View file

@ -1,11 +1,11 @@
error[E0277]: the trait bound `Self: Eq` is not satisfied
--> $DIR/wf-trait-default-fn-ret.rs:11:22
--> $DIR/wf-trait-default-fn-ret.rs:10:22
|
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
--> $DIR/wf-trait-default-fn-ret.rs:7:14
|
LL | struct Bar<T:Eq+?Sized> { value: Box<T> }
| ^^ required by this bound in `Bar`