diff options
| author | bors <bors@rust-lang.org> | 2025-06-11 11:47:05 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-06-11 11:47:05 +0000 |
| commit | bdb04d6c4fff0970bc2f1fad775bec807d9470ee (patch) | |
| tree | e5ebe232eec6d6360043b9d18b6d3ffa61229960 /tests/ui | |
| parent | 0a39445252ac076ef573bcacee63bbdc59497b52 (diff) | |
| parent | 7dac755be8d09234afa0ac6c3626c8d5f733ef31 (diff) | |
| download | rust-bdb04d6c4fff0970bc2f1fad775bec807d9470ee.tar.gz rust-bdb04d6c4fff0970bc2f1fad775bec807d9470ee.zip | |
Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwU
`FIXME(-Znext-solver)` triage r? `@BoxyUwU`
Diffstat (limited to 'tests/ui')
| -rw-r--r-- | tests/ui/impl-trait/recursive-coroutine-boxed.next.stderr | 2 | ||||
| -rw-r--r-- | tests/ui/impl-trait/recursive-coroutine-boxed.rs | 3 |
2 files changed, 1 insertions, 4 deletions
diff --git a/tests/ui/impl-trait/recursive-coroutine-boxed.next.stderr b/tests/ui/impl-trait/recursive-coroutine-boxed.next.stderr index 132f7de4ef2..5ce6eb0fc39 100644 --- a/tests/ui/impl-trait/recursive-coroutine-boxed.next.stderr +++ b/tests/ui/impl-trait/recursive-coroutine-boxed.next.stderr @@ -1,5 +1,5 @@ error[E0282]: type annotations needed - --> $DIR/recursive-coroutine-boxed.rs:14:23 + --> $DIR/recursive-coroutine-boxed.rs:11:23 | LL | let mut gen = Box::pin(foo()); | ^^^^^^^^ cannot infer type of the type parameter `T` declared on the struct `Box` diff --git a/tests/ui/impl-trait/recursive-coroutine-boxed.rs b/tests/ui/impl-trait/recursive-coroutine-boxed.rs index 8d38e6aed12..306edc3591e 100644 --- a/tests/ui/impl-trait/recursive-coroutine-boxed.rs +++ b/tests/ui/impl-trait/recursive-coroutine-boxed.rs @@ -7,9 +7,6 @@ use std::ops::{Coroutine, CoroutineState}; fn foo() -> impl Coroutine<Yield = (), Return = ()> { - // FIXME(-Znext-solver): this fails with a mismatched types as the - // hidden type of the opaque ends up as {type error}. We should not - // emit errors for such goals. #[coroutine] || { let mut gen = Box::pin(foo()); //[next]~^ ERROR type annotations needed |