ICE: yield in async block

[DutchGhost]

Code

#![feature(generators)]
#![feature(generic_associated_types)]
#![feature(type_alias_impl_trait)]

trait Service {
    type Future<'f>: std::future::Future + 'f
    where
        Self: 'f;

    fn spawn<'f>(&'f mut self) -> Self::Future<'f>;
}

struct Blah;

impl Service for Blah {
    type Future<'f> = impl std::future::Future<Output = &'static i32> + 'f;

    fn spawn<'f>(&'f mut self) -> Self::Future<'f> {
        async move {
            yield &1;
        }
    }
}

Meta

rustc --version --verbose:

rustc 1.59.0 (9d1b2106e 2022-02-23)
rustc 1.61.0-nightly (8d60bf427 2022-03-19)

Error output

error: internal compiler error: compiler/rustc_borrowck/src/universal_regions.rs:547:26: expected defining type for `DefId(0:16 ~ playground[4992]::{impl#0}::spawn::{closure#0})`: `[type error]`

Backtrace

thread 'rustc' panicked at 'Box<dyn Any>', /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/compiler/rustc_errors/src/lib.rs:1205:9
stack backtrace:
   0:     0x7f21b5c6278d - std::backtrace_rs::backtrace::libunwind::trace::h784cb64f77c799e4
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
   1:     0x7f21b5c6278d - std::backtrace_rs::backtrace::trace_unsynchronized::h37d0a08044f629a8
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x7f21b5c6278d - std::sys_common::backtrace::_print_fmt::h3feb324fd310b9a7
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/sys_common/backtrace.rs:66:5
   3:     0x7f21b5c6278d - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h4f4e4f67069248d8
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/sys_common/backtrace.rs:45:22
   4:     0x7f21b5cbc36c - core::fmt::write::hcec4c22fb8220a38
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/core/src/fmt/mod.rs:1190:17
   5:     0x7f21b5c53d91 - std::io::Write::write_fmt::haaf00a8ebef82d08
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/io/mod.rs:1655:15
   6:     0x7f21b5c65875 - std::sys_common::backtrace::_print::h338729c4a2a845af
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/sys_common/backtrace.rs:48:5
   7:     0x7f21b5c65875 - std::sys_common::backtrace::print::h23fec30a3fa57965
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/sys_common/backtrace.rs:35:9
   8:     0x7f21b5c65875 - std::panicking::default_hook::{{closure}}::h949b3457e1194801
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/panicking.rs:295:22
   9:     0x7f21b5c65529 - std::panicking::default_hook::he41e7411e1168615
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/panicking.rs:314:9
  10:     0x7f21b6400d51 - rustc_driver[90e3bd7925538a32]::DEFAULT_HOOK::{closure#0}::{closure#0}
  11:     0x7f21b5c65fc0 - std::panicking::rust_panic_with_hook::h186acfbc6602cc8e
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/panicking.rs:702:17
  12:     0x7f21b69c7551 - std[4fb2078a936f5865]::panicking::begin_panic::<rustc_errors[9ec17d26f4ea7f9f]::ExplicitBug>::{closure#0}
  13:     0x7f21b69c0e26 - std[4fb2078a936f5865]::sys_common::backtrace::__rust_end_short_backtrace::<std[4fb2078a936f5865]::panicking::begin_panic<rustc_errors[9ec17d26f4ea7f9f]::ExplicitBug>::{closure#0}, !>
  14:     0x7f21b69e3616 - std[4fb2078a936f5865]::panicking::begin_panic::<rustc_errors[9ec17d26f4ea7f9f]::ExplicitBug>
  15:     0x7f21b69e35f6 - std[4fb2078a936f5865]::panic::panic_any::<rustc_errors[9ec17d26f4ea7f9f]::ExplicitBug>
  16:     0x7f21b69e2c99 - <rustc_errors[9ec17d26f4ea7f9f]::HandlerInner>::span_bug::<rustc_span[571b4d67342d6e5]::span_encoding::Span>
  17:     0x7f21b69e2bd0 - <rustc_errors[9ec17d26f4ea7f9f]::Handler>::span_bug::<rustc_span[571b4d67342d6e5]::span_encoding::Span>
  18:     0x7f21b6a5231a - rustc_middle[3db7ef1edf80ca68]::ty::context::tls::with_opt::<rustc_middle[3db7ef1edf80ca68]::util::bug::opt_span_bug_fmt<rustc_span[571b4d67342d6e5]::span_encoding::Span>::{closure#0}, ()>
  19:     0x7f21b6a521b6 - rustc_middle[3db7ef1edf80ca68]::util::bug::opt_span_bug_fmt::<rustc_span[571b4d67342d6e5]::span_encoding::Span>
  20:     0x7f21b6a52177 - rustc_middle[3db7ef1edf80ca68]::util::bug::span_bug_fmt::<rustc_span[571b4d67342d6e5]::span_encoding::Span>
  21:     0x7f21b7aca392 - <rustc_borrowck[b983ca87a4140e01]::universal_regions::UniversalRegions>::new
  22:     0x7f21b7b33a6d - rustc_borrowck[b983ca87a4140e01]::do_mir_borrowck
  23:     0x7f21b7b2918e - rustc_borrowck[b983ca87a4140e01]::mir_borrowck
  24:     0x7f21b7b25f30 - <rustc_borrowck[b983ca87a4140e01]::provide::{closure#0} as core[ac30665fb42186d6]::ops::function::FnOnce<(rustc_middle[3db7ef1edf80ca68]::ty::context::TyCtxt, rustc_span[571b4d67342d6e5]::def_id::LocalDefId)>>::call_once
  25:     0x7f21b7cc97b1 - rustc_query_system[ae434de9767176]::query::plumbing::try_execute_query::<rustc_query_impl[635fc2d8bd8cccb8]::plumbing::QueryCtxt, rustc_query_system[ae434de9767176]::query::caches::DefaultCache<rustc_span[571b4d67342d6e5]::def_id::LocalDefId, &rustc_middle[3db7ef1edf80ca68]::mir::query::BorrowCheckResult>>
  26:     0x7f21b7da8aaa - <rustc_query_impl[635fc2d8bd8cccb8]::Queries as rustc_middle[3db7ef1edf80ca68]::ty::query::QueryEngine>::mir_borrowck
  27:     0x7f21b6797c10 - <rustc_typeck[445e3208727507f3]::collect::type_of::find_opaque_ty_constraints::ConstraintLocator>::check
  28:     0x7f21b6797749 - <rustc_typeck[445e3208727507f3]::collect::type_of::find_opaque_ty_constraints::ConstraintLocator as rustc_hir[90f2391dddec98b1]::intravisit::Visitor>::visit_expr
  29:     0x7f21b6708e5d - rustc_hir[90f2391dddec98b1]::intravisit::walk_expr::<rustc_typeck[445e3208727507f3]::collect::type_of::find_opaque_ty_constraints::ConstraintLocator>
  30:     0x7f21b6793064 - <rustc_typeck[445e3208727507f3]::collect::type_of::find_opaque_ty_constraints::ConstraintLocator as rustc_hir[90f2391dddec98b1]::intravisit::Visitor>::visit_nested_body
  31:     0x7f21b6701c2d - rustc_hir[90f2391dddec98b1]::intravisit::walk_impl_item::<rustc_typeck[445e3208727507f3]::collect::type_of::find_opaque_ty_constraints::ConstraintLocator>
  32:     0x7f21b6793175 - <rustc_typeck[445e3208727507f3]::collect::type_of::find_opaque_ty_constraints::ConstraintLocator as rustc_hir[90f2391dddec98b1]::intravisit::Visitor>::visit_nested_impl_item
  33:     0x7f21b670955f - rustc_hir[90f2391dddec98b1]::intravisit::walk_item::<rustc_typeck[445e3208727507f3]::collect::type_of::find_opaque_ty_constraints::ConstraintLocator>
  34:     0x7f21b6797657 - rustc_typeck[445e3208727507f3]::collect::type_of::find_opaque_ty_constraints
  35:     0x7f21b78a1949 - rustc_typeck[445e3208727507f3]::collect::type_of::type_of
  36:     0x7f21b7d0a5ae - rustc_query_system[ae434de9767176]::query::plumbing::get_query::<rustc_query_impl[635fc2d8bd8cccb8]::queries::type_of, rustc_query_impl[635fc2d8bd8cccb8]::plumbing::QueryCtxt>
  37:     0x7f21b78b3610 - rustc_typeck[445e3208727507f3]::check::check::check_item_type
  38:     0x7f21b78782ab - <rustc_middle[3db7ef1edf80ca68]::hir::map::Map>::visit_item_likes_in_module::<rustc_typeck[445e3208727507f3]::check::CheckItemTypesVisitor>
  39:     0x7f21b857260c - rustc_typeck[445e3208727507f3]::check::check::check_mod_item_types
  40:     0x7f21b7ccb7ce - rustc_query_system[ae434de9767176]::query::plumbing::try_execute_query::<rustc_query_impl[635fc2d8bd8cccb8]::plumbing::QueryCtxt, rustc_query_system[ae434de9767176]::query::caches::DefaultCache<rustc_span[571b4d67342d6e5]::def_id::LocalDefId, ()>>
  41:     0x7f21b877fc93 - rustc_query_system[ae434de9767176]::query::plumbing::get_query::<rustc_query_impl[635fc2d8bd8cccb8]::queries::check_mod_item_types, rustc_query_impl[635fc2d8bd8cccb8]::plumbing::QueryCtxt>
  42:     0x7f21b8545993 - <rustc_middle[3db7ef1edf80ca68]::hir::map::Map>::for_each_module::<rustc_typeck[445e3208727507f3]::check_crate::{closure#6}::{closure#0}>
  43:     0x7f21b850ee58 - <rustc_session[d419619141ab55a9]::session::Session>::time::<(), rustc_typeck[445e3208727507f3]::check_crate::{closure#6}>
  44:     0x7f21b850c9f3 - rustc_typeck[445e3208727507f3]::check_crate
  45:     0x7f21b82965c7 - rustc_interface[afe55cb781ad7894]::passes::analysis
  46:     0x7f21b874e20e - rustc_query_system[ae434de9767176]::query::plumbing::try_execute_query::<rustc_query_impl[635fc2d8bd8cccb8]::plumbing::QueryCtxt, rustc_query_system[ae434de9767176]::query::caches::DefaultCache<(), core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>>>
  47:     0x7f21b878da8e - rustc_query_system[ae434de9767176]::query::plumbing::get_query::<rustc_query_impl[635fc2d8bd8cccb8]::queries::analysis, rustc_query_impl[635fc2d8bd8cccb8]::plumbing::QueryCtxt>
  48:     0x7f21b82716d7 - <rustc_interface[afe55cb781ad7894]::passes::QueryContext>::enter::<rustc_driver[90e3bd7925538a32]::run_compiler::{closure#1}::{closure#2}::{closure#3}, core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>>
  49:     0x7f21b824ed28 - <rustc_interface[afe55cb781ad7894]::interface::Compiler>::enter::<rustc_driver[90e3bd7925538a32]::run_compiler::{closure#1}::{closure#2}, core[ac30665fb42186d6]::result::Result<core[ac30665fb42186d6]::option::Option<rustc_interface[afe55cb781ad7894]::queries::Linker>, rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>>
  50:     0x7f21b8261e0f - rustc_span[571b4d67342d6e5]::with_source_map::<core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>, rustc_interface[afe55cb781ad7894]::interface::create_compiler_and_run<core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>, rustc_driver[90e3bd7925538a32]::run_compiler::{closure#1}>::{closure#1}>
  51:     0x7f21b8261614 - rustc_interface[afe55cb781ad7894]::interface::create_compiler_and_run::<core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>, rustc_driver[90e3bd7925538a32]::run_compiler::{closure#1}>
  52:     0x7f21b824c752 - <scoped_tls[d205317d44737de4]::ScopedKey<rustc_span[571b4d67342d6e5]::SessionGlobals>>::set::<rustc_interface[afe55cb781ad7894]::interface::run_compiler<core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>, rustc_driver[90e3bd7925538a32]::run_compiler::{closure#1}>::{closure#0}, core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>>
  53:     0x7f21b824ac0f - std[4fb2078a936f5865]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[afe55cb781ad7894]::util::run_in_thread_pool_with_globals<rustc_interface[afe55cb781ad7894]::interface::run_compiler<core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>, rustc_driver[90e3bd7925538a32]::run_compiler::{closure#1}>::{closure#0}, core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>>::{closure#0}, core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>>
  54:     0x7f21b8262d92 - <<std[4fb2078a936f5865]::thread::Builder>::spawn_unchecked_<rustc_interface[afe55cb781ad7894]::util::run_in_thread_pool_with_globals<rustc_interface[afe55cb781ad7894]::interface::run_compiler<core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>, rustc_driver[90e3bd7925538a32]::run_compiler::{closure#1}>::{closure#0}, core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>>::{closure#0}, core[ac30665fb42186d6]::result::Result<(), rustc_errors[9ec17d26f4ea7f9f]::ErrorGuaranteed>>::{closure#1} as core[ac30665fb42186d6]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  55:     0x7f21b5c701b3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7b6172238cf57322
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/alloc/src/boxed.rs:1853:9
  56:     0x7f21b5c701b3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h921b28757b015a0f
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/alloc/src/boxed.rs:1853:9
  57:     0x7f21b5c701b3 - std::sys::unix::thread::Thread::new::thread_start::h8d09f4ba73ff0419
                               at /rustc/8d60bf427a4b055f464122062e76b3ec34d4f8ba/library/std/src/sys/unix/thread.rs:108:17
  58:     0x7f21b5ba0609 - start_thread
  59:     0x7f21b5ab9163 - clone
  60:                0x0 - <unknown>

[frank-king]

@rustbot claim

[Alexendoo]

No longer ICEs since #94081, but closing as a duplicate of #94429

If something still needs/could be done though @frank-king just let me know and I'll reopen it