diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-04-04 14:53:31 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-04-04 14:53:31 +0000 |
| commit | ba316a902d4a350f41bfaeba17df66b582de9d99 (patch) | |
| tree | c02c3229aebf2fbc335debb3e9b3860da4034d00 | |
| parent | 169a045dca0e8cc7c720a962cef274fb5f8fafef (diff) | |
| download | rust-ba316a902d4a350f41bfaeba17df66b582de9d99.tar.gz rust-ba316a902d4a350f41bfaeba17df66b582de9d99.zip | |
amend to Switch `can_eq` and `can_sub` to `DefineOpaqueTypes::Yes`
| -rw-r--r-- | tests/ui/impl-trait/nested_impl_trait.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/impl-trait/nested_impl_trait.rs b/tests/ui/impl-trait/nested_impl_trait.rs index 760102794c3..502b2af2bc6 100644 --- a/tests/ui/impl-trait/nested_impl_trait.rs +++ b/tests/ui/impl-trait/nested_impl_trait.rs @@ -5,7 +5,7 @@ fn fine(x: impl Into<u32>) -> impl Into<u32> { x } fn bad_in_ret_position(x: impl Into<u32>) -> impl Into<impl Debug> { x } //~^ ERROR nested `impl Trait` is not allowed -//~| ERROR the trait bound `impl Debug: From<impl Into<u32>>` is not satisfied +//~| ERROR the trait bound `impl Into<u32>: Into<impl Debug>` is not satisfied fn bad_in_fn_syntax(x: fn() -> impl Into<impl Debug>) {} //~^ ERROR nested `impl Trait` is not allowed @@ -18,7 +18,7 @@ struct X; impl X { fn bad(x: impl Into<u32>) -> impl Into<impl Debug> { x } //~^ ERROR nested `impl Trait` is not allowed - //~| ERROR the trait bound `impl Debug: From<impl Into<u32>>` is not satisfied + //~| ERROR the trait bound `impl Into<u32>: Into<impl Debug>` is not satisfied } fn allowed_in_assoc_type() -> impl Iterator<Item=impl Fn()> { |