Generic `(&A -> T) -> (&'a A -> Box<dyn Any + 'a>)` crashes

ItzShiney commented 5 months ago

I'm not sure if this is a minimal example, but I couldn't shrink it any more.

Generic T is necessary, A can be any type.

Code

type A = ();

fn f<T>(f: impl FnOnce(&A) -> T) -> impl for<'a> FnOnce(&'a A) -> Box<dyn std::any::Any + 'a> {
    move |a| Box::new(f(a))
}

Error output

thread 'rustc' panicked at compiler\rustc_borrowck\src\type_check\free_region_relations.rs:97:9:
can't find an upper bound!?

Backtrace

``` stack backtrace: 0: 0x7ffd6322d623 - std::backtrace_rs::backtrace::dbghelp64::trace at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\..\..\backtrace\src\backtrace\dbghelp64.rs:91 1: 0x7ffd6322d623 - std::backtrace_rs::backtrace::trace_unsynchronized at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\..\..\backtrace\src\backtrace\mod.rs:66 2: 0x7ffd6322d623 - std::backtrace::Backtrace::create at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\backtrace.rs:331 3: 0x7ffd6322d56a - std::backtrace::Backtrace::force_capture at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\backtrace.rs:312 4: 0x7ffd5f276140 - memchr 5: 0x7ffd63247187 - alloc::boxed::impl$50::call at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\alloc\src\boxed.rs:2077 6: 0x7ffd63247187 - std::panicking::rust_panic_with_hook at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\panicking.rs:799 7: 0x7ffd63246fd9 - std::panicking::begin_panic_handler::closure$0 at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\panicking.rs:656 8: 0x7ffd6324450f - std::sys_common::backtrace::__rust_end_short_backtrace at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\sys_common\backtrace.rs:171 9: 0x7ffd63246cc8 - std::panicking::begin_panic_handler at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\panicking.rs:652 10: 0x7ffd6329e054 - core::panicking::panic_fmt at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\core\src\panicking.rs:72 11: 0x7ffd5f9a01c6 - ::eval_equal 12: 0x7ffd5e41001e - rustc_borrowck[47dc6bdb74f71e32]::dataflow::calculate_borrows_out_of_scope_at_location 13: 0x7ffd5e4f66e1 - ::regions 14: 0x7ffd5e45b7fc - rustc_borrowck[47dc6bdb74f71e32]::mir_borrowck 15: 0x7ffd5e91619a - rustc_query_impl[f6e26b53264cdf7d]::plumbing::query_key_hash_verify_all 16: 0x7ffd5e860989 - rustc_ty_utils[2e11d027a4d062f9]::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 17: 0x7ffd5e91fc2f - rustc_query_impl[f6e26b53264cdf7d]::plumbing::query_key_hash_verify_all 18: 0x7ffd5d8b01d8 - ::lint_non_contiguous_range_endpoints 19: 0x7ffd5d8ca93a - ::register_obligations 20: 0x7ffd5e4b2e87 - ::regions 21: 0x7ffd5e435c3f - <&mut rustc_borrowck[47dc6bdb74f71e32]::type_check::constraint_conversion::ConstraintConversion as rustc_infer[97ab8c565f63bbbc]::infer::outlives::obligations::TypeOutlivesDelegate>::push_verify 22: 0x7ffd5e403ee7 - rustc_borrowck[47dc6bdb74f71e32]::dataflow::calculate_borrows_out_of_scope_at_location 23: 0x7ffd5e4f66e1 - ::regions 24: 0x7ffd5e45b7fc - rustc_borrowck[47dc6bdb74f71e32]::mir_borrowck 25: 0x7ffd5e91619a - rustc_query_impl[f6e26b53264cdf7d]::plumbing::query_key_hash_verify_all 26: 0x7ffd5e860989 - rustc_ty_utils[2e11d027a4d062f9]::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 27: 0x7ffd5e91fc2f - rustc_query_impl[f6e26b53264cdf7d]::plumbing::query_key_hash_verify_all 28: 0x7ffd5e0d6245 - ::borrow 29: 0x7ffd5d829b13 - rustc_hir_analysis[fa2df6f2e5566255]::collect::type_of::type_of_opaque 30: 0x7ffd5da99a4a - ::write_str 31: 0x7ffd5e809f2f - rustc_ty_utils[2e11d027a4d062f9]::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 32: 0x7ffd5daa0a55 - rustc_query_impl[f6e26b53264cdf7d]::query_system 33: 0x7ffd5f601bef - ::mutate 34: 0x7ffd5e13b958 - rustc_hir_analysis[fa2df6f2e5566255]::collect::type_of::type_of 35: 0x7ffd5e91759f - rustc_query_impl[f6e26b53264cdf7d]::plumbing::query_key_hash_verify_all 36: 0x7ffd5e809f2f - rustc_ty_utils[2e11d027a4d062f9]::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 37: 0x7ffd5e918c56 - rustc_query_impl[f6e26b53264cdf7d]::plumbing::query_key_hash_verify_all 38: 0x7ffd5f601bef - ::mutate 39: 0x7ffd5e1026a4 - rustc_hir_analysis[fa2df6f2e5566255]::check::wfcheck::check_well_formed 40: 0x7ffd5e91685a - rustc_query_impl[f6e26b53264cdf7d]::plumbing::query_key_hash_verify_all 41: 0x7ffd5e866e35 - rustc_ty_utils[2e11d027a4d062f9]::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 42: 0x7ffd5e926039 - rustc_query_impl[f6e26b53264cdf7d]::plumbing::query_key_hash_verify_all 43: 0x7ffd5e11498e - rustc_hir_analysis[fa2df6f2e5566255]::check::wfcheck::check_mod_type_wf 44: 0x7ffd5da9a64a - ::write_str 45: 0x7ffd5d9e5f45 - rustc_ty_utils[2e11d027a4d062f9]::ty::adt_sized_constraint 46: 0x7ffd5daabbc2 - rustc_query_impl[f6e26b53264cdf7d]::query_system 47: 0x7ffd5e1562df - rustc_hir_analysis[fa2df6f2e5566255]::check_crate 48: 0x7ffd5deb27f2 - ::pre_expansion_lint 49: 0x7ffd5b0f7517 - rustc_interface[3972c3fa63dc4815]::passes::create_global_ctxt 50: 0x7ffd5da9c0ba - ::write_str 51: 0x7ffd5d9bbfc9 - rustc_ty_utils[2e11d027a4d062f9]::ty::adt_sized_constraint 52: 0x7ffd5daa1623 - rustc_query_impl[f6e26b53264cdf7d]::query_system 53: 0x7ffd5b0b4d8d - _LNan_C 54: 0x7ffd5b0b214f - _LNan_C 55: 0x7ffd5b0b9e49 - _LNan_C 56: 0x7ffd6325838d - alloc::boxed::impl$48::call_once at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\alloc\src\boxed.rs:2063 57: 0x7ffd6325838d - alloc::boxed::impl$48::call_once at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\alloc\src\boxed.rs:2063 58: 0x7ffd6325838d - std::sys::pal::windows::thread::impl$0::new::thread_start at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\sys\pal\windows\thread.rs:52 59: 0x7ffddef27344 - BaseThreadInitThunk 60: 0x7ffddf8226b1 - RtlUserThreadStart rustc version: 1.80.0-nightly (f67a1acc0 2024-06-01) platform: x86_64-pc-windows-msvc query stack during panic: #0 [mir_borrowck] borrow-checking `f::{closure#0}` #1 [mir_borrowck] borrow-checking `f` #2 [type_of_opaque] computing type of opaque `f::{opaque#0}` #3 [type_of] computing type of `f::{opaque#0}` #4 [check_well_formed] checking that `f::{opaque#0}` is well-formed #5 [check_mod_type_wf] checking that types are well-formed in top-level module #6 [analysis] running analysis passes on this crate end of query stack delayed bug: {OpaqueTypeKey { def_id: DefId(0:10 ~ testing[c4fb]::f::{opaque#0}), args: [T/#0, impl FnOnce(&A) -> T/#1] }: OpaqueTypeDecl { hidden_type: OpaqueHiddenType { span: src\lib.rs:4:5: 4:28 (#0), ty: Closure(DefId(0:7 ~ testing[c4fb]::f::{closure#0}), [T/#0, impl FnOnce(&A) -> T/#1, i32, Binder(extern "RustCall" fn((&'^0 (),)) -> std::boxed::Box, [Region(BrAnon)]), (impl FnOnce(&A) -> T/#1,)]) } }} 0: std::backtrace_rs::backtrace::dbghelp64::trace at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\..\..\backtrace\src\backtrace\dbghelp64.rs:91 1: std::backtrace_rs::backtrace::trace_unsynchronized at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\..\..\backtrace\src\backtrace\mod.rs:66 2: std::backtrace::Backtrace::create at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\backtrace.rs:331 3: std::backtrace::Backtrace::capture at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\backtrace.rs:296 4: ::emit_future_breakage_report 5: ::emit_diagnostic 6: ::emit_producing_guarantee 7: ::drop 8: rustc_pattern_analysis::analyze_match 9: >::decorate_lint 10: ::regions 11: _CallSettingFrame at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\amd64\handlers.asm:49 12: __FrameHandler3::FrameUnwindToState at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\frame.cpp:1222 13: __FrameHandler3::FrameUnwindToEmptyState at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\risctrnsctrl.cpp:255 14: __InternalCxxFrameHandler<__FrameHandler3> at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\frame.cpp:355 15: __CxxFrameHandler3 at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\risctrnsctrl.cpp:281 16: _chkstk 17: RtlUnwindEx 18: __FrameHandler3::UnwindNestedFrames at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\risctrnsctrl.cpp:759 19: CatchIt<__FrameHandler3> at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\frame.cpp:1326 20: FindHandler<__FrameHandler3> at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\frame.cpp:670 21: __InternalCxxFrameHandler<__FrameHandler3> at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\frame.cpp:396 22: __CxxFrameHandler3 at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\risctrnsctrl.cpp:281 23: _chkstk 24: RtlRaiseException 25: RtlRaiseException 26: RaiseException 27: _CxxThrowException at D:\a\_work\1\s\src\vctools\crt\vcruntime\src\eh\throw.cpp:81 28: panic_unwind::real_imp::panic at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\panic_unwind\src\seh.rs:353 29: panic_unwind::__rust_start_panic at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\panic_unwind\src\lib.rs:108 30: std::panicking::rust_panic at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\panicking.rs:847 31: std::panicking::rust_panic_with_hook at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\panicking.rs:817 32: std::panicking::begin_panic_handler::closure$0 at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\panicking.rs:656 33: std::sys_common::backtrace::__rust_end_short_backtrace at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\sys_common\backtrace.rs:171 34: std::panicking::begin_panic_handler at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\panicking.rs:652 35: core::panicking::panic_fmt at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\core\src\panicking.rs:72 36: ::eval_equal 37: rustc_borrowck::dataflow::calculate_borrows_out_of_scope_at_location 38: ::regions 39: rustc_borrowck::mir_borrowck 40: rustc_query_impl::plumbing::query_key_hash_verify_all 41: rustc_ty_utils::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 42: rustc_query_impl::plumbing::query_key_hash_verify_all 43: ::lint_non_contiguous_range_endpoints 44: ::register_obligations 45: ::regions 46: <&mut rustc_borrowck::type_check::constraint_conversion::ConstraintConversion as rustc_infer::infer::outlives::obligations::TypeOutlivesDelegate>::push_verify 47: rustc_borrowck::dataflow::calculate_borrows_out_of_scope_at_location 48: ::regions 49: rustc_borrowck::mir_borrowck 50: rustc_query_impl::plumbing::query_key_hash_verify_all 51: rustc_ty_utils::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 52: rustc_query_impl::plumbing::query_key_hash_verify_all 53: ::borrow 54: rustc_hir_analysis::collect::type_of::type_of_opaque 55: ::write_str 56: rustc_ty_utils::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 57: rustc_query_impl::query_system 58: ::mutate 59: rustc_hir_analysis::collect::type_of::type_of 60: rustc_query_impl::plumbing::query_key_hash_verify_all 61: rustc_ty_utils::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 62: rustc_query_impl::plumbing::query_key_hash_verify_all 63: ::mutate 64: rustc_hir_analysis::check::wfcheck::check_well_formed 65: rustc_query_impl::plumbing::query_key_hash_verify_all 66: rustc_ty_utils::ty::self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 67: rustc_query_impl::plumbing::query_key_hash_verify_all 68: rustc_hir_analysis::check::wfcheck::check_mod_type_wf 69: ::write_str 70: rustc_ty_utils::ty::adt_sized_constraint 71: rustc_query_impl::query_system 72: rustc_hir_analysis::check_crate 73: ::pre_expansion_lint 74: rustc_interface::passes::create_global_ctxt 75: ::write_str 76: rustc_ty_utils::ty::adt_sized_constraint 77: rustc_query_impl::query_system 78: _LNan_C 79: _LNan_C 80: _LNan_C 81: alloc::boxed::impl$48::call_once at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\alloc\src\boxed.rs:2063 82: alloc::boxed::impl$48::call_once at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\alloc\src\boxed.rs:2063 83: std::sys::pal::windows::thread::impl$0::new::thread_start at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library\std\src\sys\pal\windows\thread.rs:52 84: BaseThreadInitThunk 85: RtlUserThreadStart ```

matthiaskrgr commented 4 months ago

probably duplicate of #122704

matthiaskrgr commented 4 months ago

theemathas commented 4 months ago

I tried to minimize this, and I can't go smaller than this:

trait IsStatic: 'static {}

impl<T: 'static> IsStatic for T {}

fn foo<T>(x: Box<T>) -> impl for<'a> FnOnce(&'a ()) -> Box<dyn IsStatic + 'a> {
    move |_| x
}

Error output

``` Compiling playground v0.0.1 (/playground) thread 'rustc' panicked at compiler/rustc_borrowck/src/type_check/free_region_relations.rs:97:9: can't find an upper bound!? stack backtrace: 0: 0x7f68c8ef2ae5 - std::backtrace_rs::backtrace::libunwind::trace::hd03f93528d46491d at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5 1: 0x7f68c8ef2ae5 - std::backtrace_rs::backtrace::trace_unsynchronized::h74dc0b19b052c2ae at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 2: 0x7f68c8ef2ae5 - std::sys_common::backtrace::_print_fmt::h9a3bc0e652cf7b69 at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/sys_common/backtrace.rs:68:5 3: 0x7f68c8ef2ae5 - ::fmt::h4837d7bdd071c26e at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/sys_common/backtrace.rs:44:22 4: 0x7f68c8f4377b - core::fmt::rt::Argument::fmt::h5f4cca7a86de3ac3 at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/core/src/fmt/rt.rs:165:63 5: 0x7f68c8f4377b - core::fmt::write::h58fee7e5e6f828bb at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/core/src/fmt/mod.rs:1168:21 6: 0x7f68c8ee76bf - std::io::Write::write_fmt::h5a54d56832f12d0f at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/io/mod.rs:1835:15 7: 0x7f68c8ef28be - std::sys_common::backtrace::_print::hf8a2cb55c2c8353b at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/sys_common/backtrace.rs:47:5 8: 0x7f68c8ef28be - std::sys_common::backtrace::print::h6b23178d2042c60b at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/sys_common/backtrace.rs:34:9 9: 0x7f68c8ef52f9 - std::panicking::default_hook::{{closure}}::h8098cbc85e732f3b 10: 0x7f68c8ef509c - std::panicking::default_hook::h21b51f336018bc80 at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/panicking.rs:292:9 11: 0x7f68cc2277ff - std[e439e5cd3a449d52]::panicking::update_hook::>::{closure#0} 12: 0x7f68c8ef5bff - as core::ops::function::Fn>::call::h5602e10eecbd0618 at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/alloc/src/boxed.rs:2076:9 13: 0x7f68c8ef5bff - std::panicking::rust_panic_with_hook::hd1b3711c6ea634e2 at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/panicking.rs:801:13 14: 0x7f68c8ef57f3 - std::panicking::begin_panic_handler::{{closure}}::h01c1581833053b47 at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/panicking.rs:660:13 15: 0x7f68c8ef2fa9 - std::sys_common::backtrace::__rust_end_short_backtrace::h12d87452272215f0 at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/sys_common/backtrace.rs:171:18 16: 0x7f68c8ef54d4 - rust_begin_unwind at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/panicking.rs:658:5 17: 0x7f68c8f3fd33 - core::panicking::panic_fmt::h219f5a3f16bd9a4d at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/core/src/panicking.rs:74:14 18: 0x7f68cc03470a - ::non_local_upper_bounds 19: 0x7f68ca6e587d - rustc_borrowck[d08da6903e11d7f3]::nll::compute_regions 20: 0x7f68ce4f193a - rustc_borrowck[d08da6903e11d7f3]::do_mir_borrowck 21: 0x7f68ce4e3a3e - rustc_query_impl[8f9eb950d6cc008f]::plumbing::__rust_begin_short_backtrace::> 22: 0x7f68cd8786ee - rustc_query_system[8ccdec27dd679281]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[8f9eb950d6cc008f]::plumbing::QueryCtxt, false> 23: 0x7f68cd87814d - rustc_query_impl[8f9eb950d6cc008f]::query_impl::mir_borrowck::get_query_non_incr::__rust_end_short_backtrace 24: 0x7f68cdec2860 - rustc_middle[e07a585f38de947]::query::plumbing::query_get_at::>> 25: 0x7f68cdec28ce - ::prove_closure_bounds 26: 0x7f68cd67659e - ::typeck_mir 27: 0x7f68ca7165ad - rustc_borrowck[d08da6903e11d7f3]::type_check::type_check 28: 0x7f68ca6d9ca8 - rustc_borrowck[d08da6903e11d7f3]::nll::compute_regions 29: 0x7f68ce4f193a - rustc_borrowck[d08da6903e11d7f3]::do_mir_borrowck 30: 0x7f68ce4e3a3e - rustc_query_impl[8f9eb950d6cc008f]::plumbing::__rust_begin_short_backtrace::> 31: 0x7f68cd8786ee - rustc_query_system[8ccdec27dd679281]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[8f9eb950d6cc008f]::plumbing::QueryCtxt, false> 32: 0x7f68cd87814d - rustc_query_impl[8f9eb950d6cc008f]::query_impl::mir_borrowck::get_query_non_incr::__rust_end_short_backtrace 33: 0x7f68cdd5c6c8 - rustc_middle[e07a585f38de947]::query::plumbing::query_get_at::>> 34: 0x7f68ce39d38a - rustc_hir_analysis[d86af1a4ad06d506]::collect::type_of::type_of_opaque 35: 0x7f68ce39d1eb - rustc_query_impl[8f9eb950d6cc008f]::plumbing::__rust_begin_short_backtrace::> 36: 0x7f68cd624012 - rustc_query_system[8ccdec27dd679281]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[8f9eb950d6cc008f]::plumbing::QueryCtxt, false> 37: 0x7f68ce642036 - rustc_query_impl[8f9eb950d6cc008f]::query_impl::type_of_opaque::get_query_non_incr::__rust_end_short_backtrace 38: 0x7f68cdb1c840 - rustc_middle[e07a585f38de947]::query::plumbing::query_get_at::>> 39: 0x7f68cb0ede8b - rustc_hir_analysis[d86af1a4ad06d506]::collect::type_of::type_of 40: 0x7f68cd6253ea - rustc_query_impl[8f9eb950d6cc008f]::plumbing::__rust_begin_short_backtrace::> 41: 0x7f68cd624012 - rustc_query_system[8ccdec27dd679281]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[8f9eb950d6cc008f]::plumbing::QueryCtxt, false> 42: 0x7f68cd623bbb - rustc_query_impl[8f9eb950d6cc008f]::query_impl::type_of::get_query_non_incr::__rust_end_short_backtrace 43: 0x7f68cdb1c840 - rustc_middle[e07a585f38de947]::query::plumbing::query_get_at::>> 44: 0x7f68c9ef6622 - rustc_hir_analysis[d86af1a4ad06d506]::check::check::check_item_type 45: 0x7f68caf3001c - rustc_hir_analysis[d86af1a4ad06d506]::check::wfcheck::check_well_formed 46: 0x7f68cd8629fd - rustc_query_impl[8f9eb950d6cc008f]::plumbing::__rust_begin_short_backtrace::> 47: 0x7f68cd862c6a - rustc_query_system[8ccdec27dd679281]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[8f9eb950d6cc008f]::plumbing::QueryCtxt, false> 48: 0x7f68cd8629da - rustc_query_impl[8f9eb950d6cc008f]::query_impl::check_well_formed::get_query_non_incr::__rust_end_short_backtrace 49: 0x7f68cd863741 - rustc_hir_analysis[d86af1a4ad06d506]::check::wfcheck::check_mod_type_wf 50: 0x7f68cd863587 - rustc_query_impl[8f9eb950d6cc008f]::plumbing::__rust_begin_short_backtrace::> 51: 0x7f68ce010f3a - rustc_query_system[8ccdec27dd679281]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[8f9eb950d6cc008f]::plumbing::QueryCtxt, false> 52: 0x7f68ce010cf5 - rustc_query_impl[8f9eb950d6cc008f]::query_impl::check_mod_type_wf::get_query_non_incr::__rust_end_short_backtrace 53: 0x7f68cd8752cc - rustc_hir_analysis[d86af1a4ad06d506]::check_crate 54: 0x7f68cdf9c947 - rustc_interface[c905b19a64c8fe9a]::passes::analysis 55: 0x7f68cdf9c487 - rustc_query_impl[8f9eb950d6cc008f]::plumbing::__rust_begin_short_backtrace::> 56: 0x7f68ce38b2a5 - rustc_query_system[8ccdec27dd679281]::query::plumbing::try_execute_query::>, false, false, false>, rustc_query_impl[8f9eb950d6cc008f]::plumbing::QueryCtxt, false> 57: 0x7f68ce38b00f - rustc_query_impl[8f9eb950d6cc008f]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace 58: 0x7f68ce24f7d2 - rustc_interface[c905b19a64c8fe9a]::interface::run_compiler::, rustc_driver_impl[9892696329624aa2]::run_compiler::{closure#0}>::{closure#1} 59: 0x7f68ce2733a7 - std[e439e5cd3a449d52]::sys_common::backtrace::__rust_begin_short_backtrace::, rustc_driver_impl[9892696329624aa2]::run_compiler::{closure#0}>::{closure#1}, core[bd37ed12c97f867b]::result::Result<(), rustc_span[7d8a0f37f02bb30e]::ErrorGuaranteed>>::{closure#0}, core[bd37ed12c97f867b]::result::Result<(), rustc_span[7d8a0f37f02bb30e]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[bd37ed12c97f867b]::result::Result<(), rustc_span[7d8a0f37f02bb30e]::ErrorGuaranteed>> 60: 0x7f68ce27316a - <::spawn_unchecked_, rustc_driver_impl[9892696329624aa2]::run_compiler::{closure#0}>::{closure#1}, core[bd37ed12c97f867b]::result::Result<(), rustc_span[7d8a0f37f02bb30e]::ErrorGuaranteed>>::{closure#0}, core[bd37ed12c97f867b]::result::Result<(), rustc_span[7d8a0f37f02bb30e]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[bd37ed12c97f867b]::result::Result<(), rustc_span[7d8a0f37f02bb30e]::ErrorGuaranteed>>::{closure#2} as core[bd37ed12c97f867b]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} 61: 0x7f68c8effa7b - as core::ops::function::FnOnce>::call_once::h32b9a9f0c1b7e30b at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/alloc/src/boxed.rs:2062:9 62: 0x7f68c8effa7b - as core::ops::function::FnOnce>::call_once::h33379ef2bcdd46d5 at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/alloc/src/boxed.rs:2062:9 63: 0x7f68c8effa7b - std::sys::pal::unix::thread::Thread::new::thread_start::h27a5de020b7d499b at /rustc/f8e566053207b4ecbcbc7a7d6ded82c43061e3da/library/std/src/sys/pal/unix/thread.rs:108:17 64: 0x7f68c8e0d609 - start_thread 65: 0x7f68c8d30353 - clone 66: 0x0 - error: the compiler unexpectedly panicked. this is a bug. note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md note: please make sure that you have updated to the latest nightly note: please attach the file at `/playground/rustc-ice-2024-06-15T05_34_50-349.txt` to your bug report note: compiler flags: --crate-type lib -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2 note: some of the compiler flags provided by cargo are hidden query stack during panic: #0 [mir_borrowck] borrow-checking `foo::{closure#0}` #1 [mir_borrowck] borrow-checking `foo` end of query stack note: no errors encountered even though delayed bugs were created note: those delayed bugs will now be shown as internal compiler errors error: internal compiler error: {OpaqueTypeKey { def_id: DefId(0:10 ~ playground[642d]::foo::{opaque#0}), args: [T/#0] }: OpaqueTypeDecl { hidden_type: OpaqueHiddenType { span: src/lib.rs:6:5: 6:15 (#0), ty: Closure(DefId(0:9 ~ playground[642d]::foo::{closure#0}), [T/#0, i32, Binder { value: extern "RustCall" fn((&'^0 (),)) -> std::boxed::Box, bound_vars: [Region(BrAnon)] }, (std::boxed::Box,)]) } }} | = note: delayed at compiler/rustc_infer/src/infer/opaque_types/table.rs:44:43 - disabled backtrace note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md note: please make sure that you have updated to the latest nightly note: please attach the file at `/playground/rustc-ice-2024-06-15T05_34_50-349.txt` to your bug report note: compiler flags: --crate-type lib -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2 note: some of the compiler flags provided by cargo are hidden query stack during panic: end of query stack thread 'rustc' panicked at library/core/src/panicking.rs:229:5: panic in a destructor during cleanup error: the compiler unexpectedly panicked. this is a bug. note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md note: please make sure that you have updated to the latest nightly note: please attach the file at `/playground/rustc-ice-2024-06-15T05_34_50-349.txt` to your bug report note: compiler flags: --crate-type lib -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2 note: some of the compiler flags provided by cargo are hidden query stack during panic: end of query stack thread caused non-unwinding panic. aborting. error: could not compile `playground` (lib) ```

Note that the code is invalid, since it should have a T: 'static bound on foo.

Seems identical to the aforementioned #122704 except for having impl instead of dyn

rust-lang / rust

Generic `(&A -> T) -> (&'a A -> Box<dyn Any + 'a>)` crashes #125891

Code

Meta

Error output