diff options
| author | Michael Goulet <michael@errs.io> | 2024-06-30 11:52:10 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-07-05 11:59:54 -0400 |
| commit | fb8d5f1e13a7a93582b043c7d7ac7711492b8135 (patch) | |
| tree | 1095d45ac8d351101b35fe5c2fe44c5e6c419369 /tests/ui/impl-trait/nested_impl_trait.stderr | |
| parent | fdde66acee3ba4c85798ea5120fa76f86bf697fe (diff) | |
| download | rust-fb8d5f1e13a7a93582b043c7d7ac7711492b8135.tar.gz rust-fb8d5f1e13a7a93582b043c7d7ac7711492b8135.zip | |
Actually just make can_eq process obligations (almost) everywhere
Diffstat (limited to 'tests/ui/impl-trait/nested_impl_trait.stderr')
| -rw-r--r-- | tests/ui/impl-trait/nested_impl_trait.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/impl-trait/nested_impl_trait.stderr b/tests/ui/impl-trait/nested_impl_trait.stderr index a53312e5c0b..83d1347aff4 100644 --- a/tests/ui/impl-trait/nested_impl_trait.stderr +++ b/tests/ui/impl-trait/nested_impl_trait.stderr @@ -42,7 +42,7 @@ LL | fn bad_in_fn_syntax(x: fn() -> impl Into<impl Debug>) {} | = note: `impl Trait` is only allowed in arguments and return types of functions and methods -error[E0277]: the trait bound `impl Into<u32>: Into<impl Debug>` is not satisfied +error[E0277]: the trait bound `impl Debug: From<impl Into<u32>>` is not satisfied --> $DIR/nested_impl_trait.rs:6:46 | LL | fn bad_in_ret_position(x: impl Into<u32>) -> impl Into<impl Debug> { x } @@ -51,7 +51,7 @@ LL | fn bad_in_ret_position(x: impl Into<u32>) -> impl Into<impl Debug> { x } = help: the trait `Into<U>` is implemented for `T` = note: required for `impl Into<u32>` to implement `Into<impl Debug>` -error[E0277]: the trait bound `impl Into<u32>: Into<impl Debug>` is not satisfied +error[E0277]: the trait bound `impl Debug: From<impl Into<u32>>` is not satisfied --> $DIR/nested_impl_trait.rs:19:34 | LL | fn bad(x: impl Into<u32>) -> impl Into<impl Debug> { x } |