ICE: panic on function pointer argument coercion/typecheck #134005
Description
Code
fn main() { // Panic let _ = [std::ops::Add::add, std::ops::Mul::mul, operator as fn(_, &_) -> _]; let _ = [std::ops::Add::add, std::ops::Mul::mul, operator as fn(i64, &i64) -> i64]; // Fine let _ = [std::ops::Add::add, std::ops::Mul::mul, operator as fn(_, _) -> _]; let _ = [std::ops::Add::add, std::ops::Mul::mul]; // Error [E0308] let _ = [std::ops::Add::add, operator as fn(i64, &i64) -> i64]; let _ = [std::ops::Mul::mul, operator as fn(_, &_) -> _]; } fn operator(x: i64, y: &i64) -> i64 { 0 }Meta
rustc --version --verbose:
rustc 1.85.0-nightly (8dc83770f 2024-12-06) binary: rustc commit-hash: 8dc83770f748c6cd16b342889ca2240397c19534 commit-date: 2024-12-06 host: x86_64-pc-windows-msvc release: 1.85.0-nightly LLVM version: 19.1.5 Error output
Compiling bug v0.1.0 (C:\Users\rhijd\projects\bug) thread 'rustc' panicked at compiler\rustc_hir_typeck\src\coercion.rs:1351:22: called `Result::unwrap_err()` on an `Ok` value: InferOk { value: Binder { value: fn(?9t, ?10t) -> ?11t, bound_vars: [] }, obligations: [] } stack backtrace: 0: 0x7ffe40b46f91 - std::backtrace_rs::backtrace::dbghelp64::trace at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\..\..\backtrace\src\backtrace\dbghelp64.rs:91 1: 0x7ffe40b46f91 - std::backtrace_rs::backtrace::trace_unsynchronized at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\..\..\backtrace\src\backtrace\mod.rs:66 2: 0x7ffe40b46f91 - std::sys::backtrace::_print_fmt at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\sys\backtrace.rs:66 3: 0x7ffe40b46f91 - std::sys::backtrace::impl$0::print::impl$0::fmt at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\sys\backtrace.rs:39 4: 0x7ffe40b7914a - core::fmt::rt::Argument::fmt at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\core\src\fmt\rt.rs:177 5: 0x7ffe40b7914a - core::fmt::write at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\core\src\fmt\mod.rs:1185 6: 0x7ffe40b3d127 - std::io::Write::write_fmt<std::sys::pal::windows::stdio::Stderr> at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\io\mod.rs:1887 7: 0x7ffe40b46dd5 - std::sys::backtrace::BacktraceLock::print at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\sys\backtrace.rs:42 8: 0x7ffe40b49cf3 - std::panicking::default_hook::closure$1 at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\panicking.rs:284 9: 0x7ffe40b49ad2 - std::panicking::default_hook at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\panicking.rs:311 10: 0x7ffe4212fefa - core[b80e938d53cf19c0]::slice::sort::unstable::heapsort::heapsort::<((rustc_lint_defs[4d15e40553160eeb]::Level, &str), usize), <((rustc_lint_defs[4d15e40553160eeb]::Level, &str), usize) as core[b80e938d53cf19c0]::cmp::PartialOrd>::lt> 11: 0x7ffe40b4a522 - alloc::boxed::impl$30::call at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\alloc\src\boxed.rs:1984 12: 0x7ffe40b4a522 - std::panicking::rust_panic_with_hook at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\panicking.rs:825 13: 0x7ffe40b4a279 - std::panicking::begin_panic_handler::closure$0 at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\panicking.rs:690 14: 0x7ffe40b47a5f - std::sys::backtrace::__rust_end_short_backtrace<std::panicking::begin_panic_handler::closure_env$0,never$> at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\sys\backtrace.rs:168 15: 0x7ffe40b49e7e - std::panicking::begin_panic_handler at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\panicking.rs:681 16: 0x7ffe439c9a71 - core::panicking::panic_fmt at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\core\src\panicking.rs:75 17: 0x7ffe439c9fb0 - core::result::unwrap_failed at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\core\src\result.rs:1699 18: 0x7ffe40cf09b8 - <alloc[1333525787bd5639]::raw_vec::RawVec<rustc_hir_typeck[a44d2be023218208]::method::probe::Candidate>>::grow_one 19: 0x7ffe40d459a7 - <alloc[1333525787bd5639]::raw_vec::RawVec<rustc_hir_typeck[a44d2be023218208]::method::probe::Candidate>>::grow_one 20: 0x7ffe40d4797c - <alloc[1333525787bd5639]::raw_vec::RawVec<rustc_hir_typeck[a44d2be023218208]::method::probe::Candidate>>::grow_one 21: 0x7ffe40ce10ed - <alloc[1333525787bd5639]::raw_vec::RawVec<rustc_hir_typeck[a44d2be023218208]::method::probe::Candidate>>::grow_one 22: 0x7ffe40daa374 - rustc_hir_typeck[a44d2be023218208]::typeck 23: 0x7ffe40d99ad7 - rustc_hir_typeck[a44d2be023218208]::typeck 24: 0x7ffe418c675b - rustc_query_impl[8fd2fa4db52211cd]::plumbing::query_key_hash_verify_all 25: 0x7ffe41811aab - RINvNtNtCs5WnBY9SOFw2_18rustc_query_system5query8plumbing17try_execute_queryINtCsclzuBKs5ZvZ_16rustc_query_impl13DynamicConfigINtNtCsc8IDRpIi7e_21rustc_data_structures9vec_cache8VecCacheNtNtCsfxawg7UaaO9_10rustc_span6def_id10LocalDefIdINtNtNtCs2Ms1sryjPDY_ 26: 0x7ffe418cee74 - rustc_query_impl[8fd2fa4db52211cd]::plumbing::query_key_hash_verify_all 27: 0x7ffe40e114f4 - <hashbrown[44c28b674df2b54]::raw::RawTable<(&usize, ())>>::reserve_rehash::<hashbrown[44c28b674df2b54]::map::make_hasher<&usize, (), rustc_hash[1ae4ed8f5a935617]::FxBuildHasher>::{closure#0}> 28: 0x7ffe40e92018 - rustc_hir_analysis[27d4dc76592869da]::check_crate 29: 0x7ffe40bbb585 - rustc_interface[85abe4d21adbac22]::passes::resolver_for_lowering_raw 30: 0x7ffe3db915be - rustc_interface[85abe4d21adbac22]::passes::analysis 31: 0x7ffe407432cb - <alloc[1333525787bd5639]::sync::Arc<alloc[1333525787bd5639]::vec::Vec<rustc_middle[2065cd2648f02524]::ty::region::Region>>>::drop_slow 32: 0x7ffe4064c90d - RINvNtNtCs5WnBY9SOFw2_18rustc_query_system5query8plumbing17try_execute_queryINtCsclzuBKs5ZvZ_16rustc_query_impl13DynamicConfigINtNtB4_6caches11SingleCacheINtNtNtCs2Ms1sryjPDY_12rustc_middle5query5erase6ErasedAhj1_EEKb0_KB3s_KB3s_ENtNtB1f_8plumbing9QueryCtx 33: 0x7ffe40748e63 - rustc_query_impl[8fd2fa4db52211cd]::query_system 34: 0x7ffe3db53374 - RINvNtNtCs2DHW9XDaqP7_3std3sys9backtrace28___rust_begin_short_backtraceNCNCNCINvMNtB6_6threadNtB1h_7Builder16spawn_unchecked_INtNtCs1EcCWnECj43_5alloc5boxed3BoxDINtNtNtCsfNJj4hWmu86_4core3ops8function6FnOnceuEp6OutputuNtNtB2G_6marker4SendEL_EuEs_000uECs9eQ 35: 0x7ffe3db50749 - RINvNtNtCs2DHW9XDaqP7_3std3sys9backtrace28___rust_begin_short_backtraceNCNCINvNtCsbtwRuUusrE4_15rustc_interface4util26run_in_thread_with_globalsNCINvB1e_31run_in_thread_pool_with_globalsNCINvNtB1g_9interface12run_compilerINtNtCsfNJj4hWmu86_4core6result6Res 36: 0x7ffe3db57a65 - RINvNtNtCs2DHW9XDaqP7_3std3sys9backtrace28___rust_begin_short_backtraceNCNCNCINvMNtB6_6threadNtB1h_7Builder16spawn_unchecked_INtNtCs1EcCWnECj43_5alloc5boxed3BoxDINtNtNtCsfNJj4hWmu86_4core3ops8function6FnOnceuEp6OutputuNtNtB2G_6marker4SendEL_EuEs_000uECs9eQ 37: 0x7ffe40b5c1dd - alloc::boxed::impl$28::call_once at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\alloc\src\boxed.rs:1970 38: 0x7ffe40b5c1dd - alloc::boxed::impl$28::call_once at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\alloc\src\boxed.rs:1970 39: 0x7ffe40b5c1dd - std::sys::pal::windows::thread::impl$0::new::thread_start at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\sys\pal\windows\thread.rs:55 40: 0x7fff645b259d - BaseThreadInitThunk 41: 0x7fff65acaf38 - RtlUserThreadStart 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 `C:\Users\rhijd\projects\bug\rustc-ice-2024-12-07T11_27_51-15660.txt` to your bug report note: compiler flags: --crate-type bin -C embed-bitcode=no -C debuginfo=2 -C incremental=[REDACTED] note: some of the compiler flags provided by cargo are hidden query stack during panic: #0 [typeck] type-checking `main` #1 [analysis] running analysis passes on this crate end of query stack error: could not compile `bug` (bin "bug") Caused by: process didn't exit successfully: `C:\Users\rhijd\.rustup\toolchains\nightly-x86_64-pc-windows-msvc\bin\rustc.exe --crate-name bug --edition=2021 'src\main.rs' --error-format=json --json=diagnostic-rendered-ansi,artifacts,fut ure-incompat --diagnostic-width=226 --crate-type bin --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --check-cfg 'cfg(docsrs)' --check-cfg 'cfg(feature, values())' -C metadata=7d0ebf5a1f591c4e --out-dir 'C:\Users\rhijd\projects\bug\target\debug\deps' -C 'incremental=C:\Users\rhijd\projects\bug\target\debug\incremental' -L 'dependency=C:\Users\rhijd\projects\bug\target\debug\deps'` (exit code: 101) Backtrace
thread 'rustc' panicked at compiler\rustc_hir_typeck\src\coercion.rs:1351:22: called `Result::unwrap_err()` on an `Ok` value: InferOk { value: Binder { value: fn(?9t, ?10t) -> ?11t, bound_vars: [] }, obligations: [] } stack backtrace: 0: 0x7ffe40b2f4b3 - std::backtrace_rs::backtrace::dbghelp64::trace at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\..\..\backtrace\src\backtrace\dbghelp64.rs:91 1: 0x7ffe40b2f4b3 - std::backtrace_rs::backtrace::trace_unsynchronized at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\..\..\backtrace\src\backtrace\mod.rs:66 2: 0x7ffe40b2f4b3 - std::backtrace::Backtrace::create at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\backtrace.rs:331 3: 0x7ffe40b2f3fa - std::backtrace::Backtrace::force_capture at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\backtrace.rs:312 4: 0x7ffe42130771 - core[b80e938d53cf19c0]::slice::sort::unstable::heapsort::heapsort::<((rustc_lint_defs[4d15e40553160eeb]::Level, &str), usize), <((rustc_lint_defs[4d15e40553160eeb]::Level, &str), usize) as core[b80e938d53cf19c0]::cmp::PartialOrd>::lt> 5: 0x7ffe40b4a522 - alloc::boxed::impl$30::call at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\alloc\src\boxed.rs:1984 6: 0x7ffe40b4a522 - std::panicking::rust_panic_with_hook at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\panicking.rs:825 7: 0x7ffe40b4a279 - std::panicking::begin_panic_handler::closure$0 at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\panicking.rs:690 8: 0x7ffe40b47a5f - std::sys::backtrace::__rust_end_short_backtrace<std::panicking::begin_panic_handler::closure_env$0,never$> at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\sys\backtrace.rs:168 9: 0x7ffe40b49e7e - std::panicking::begin_panic_handler at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\panicking.rs:681 10: 0x7ffe439c9a71 - core::panicking::panic_fmt at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\core\src\panicking.rs:75 11: 0x7ffe439c9fb0 - core::result::unwrap_failed at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\core\src\result.rs:1699 12: 0x7ffe40cf09b8 - <alloc[1333525787bd5639]::raw_vec::RawVec<rustc_hir_typeck[a44d2be023218208]::method::probe::Candidate>>::grow_one 13: 0x7ffe40d459a7 - <alloc[1333525787bd5639]::raw_vec::RawVec<rustc_hir_typeck[a44d2be023218208]::method::probe::Candidate>>::grow_one 14: 0x7ffe40d4797c - <alloc[1333525787bd5639]::raw_vec::RawVec<rustc_hir_typeck[a44d2be023218208]::method::probe::Candidate>>::grow_one 15: 0x7ffe40ce10ed - <alloc[1333525787bd5639]::raw_vec::RawVec<rustc_hir_typeck[a44d2be023218208]::method::probe::Candidate>>::grow_one 16: 0x7ffe40daa374 - rustc_hir_typeck[a44d2be023218208]::typeck 17: 0x7ffe40d99ad7 - rustc_hir_typeck[a44d2be023218208]::typeck 18: 0x7ffe418c675b - rustc_query_impl[8fd2fa4db52211cd]::plumbing::query_key_hash_verify_all 19: 0x7ffe41811aab - RINvNtNtCs5WnBY9SOFw2_18rustc_query_system5query8plumbing17try_execute_queryINtCsclzuBKs5ZvZ_16rustc_query_impl13DynamicConfigINtNtCsc8IDRpIi7e_21rustc_data_structures9vec_cache8VecCacheNtNtCsfxawg7UaaO9_10rustc_span6def_id10LocalDefIdINtNtNtCs2Ms1sryjPDY_ 20: 0x7ffe418cee74 - rustc_query_impl[8fd2fa4db52211cd]::plumbing::query_key_hash_verify_all 21: 0x7ffe40e114f4 - <hashbrown[44c28b674df2b54]::raw::RawTable<(&usize, ())>>::reserve_rehash::<hashbrown[44c28b674df2b54]::map::make_hasher<&usize, (), rustc_hash[1ae4ed8f5a935617]::FxBuildHasher>::{closure#0}> 22: 0x7ffe40e92018 - rustc_hir_analysis[27d4dc76592869da]::check_crate 23: 0x7ffe40bbb585 - rustc_interface[85abe4d21adbac22]::passes::resolver_for_lowering_raw 24: 0x7ffe3db915be - rustc_interface[85abe4d21adbac22]::passes::analysis 25: 0x7ffe407432cb - <alloc[1333525787bd5639]::sync::Arc<alloc[1333525787bd5639]::vec::Vec<rustc_middle[2065cd2648f02524]::ty::region::Region>>>::drop_slow 26: 0x7ffe4064c90d - RINvNtNtCs5WnBY9SOFw2_18rustc_query_system5query8plumbing17try_execute_queryINtCsclzuBKs5ZvZ_16rustc_query_impl13DynamicConfigINtNtB4_6caches11SingleCacheINtNtNtCs2Ms1sryjPDY_12rustc_middle5query5erase6ErasedAhj1_EEKb0_KB3s_KB3s_ENtNtB1f_8plumbing9QueryCtx 27: 0x7ffe40748e63 - rustc_query_impl[8fd2fa4db52211cd]::query_system 28: 0x7ffe3db53374 - RINvNtNtCs2DHW9XDaqP7_3std3sys9backtrace28___rust_begin_short_backtraceNCNCNCINvMNtB6_6threadNtB1h_7Builder16spawn_unchecked_INtNtCs1EcCWnECj43_5alloc5boxed3BoxDINtNtNtCsfNJj4hWmu86_4core3ops8function6FnOnceuEp6OutputuNtNtB2G_6marker4SendEL_EuEs_000uECs9eQ 29: 0x7ffe3db50749 - RINvNtNtCs2DHW9XDaqP7_3std3sys9backtrace28___rust_begin_short_backtraceNCNCINvNtCsbtwRuUusrE4_15rustc_interface4util26run_in_thread_with_globalsNCINvB1e_31run_in_thread_pool_with_globalsNCINvNtB1g_9interface12run_compilerINtNtCsfNJj4hWmu86_4core6result6Res 30: 0x7ffe3db57a65 - RINvNtNtCs2DHW9XDaqP7_3std3sys9backtrace28___rust_begin_short_backtraceNCNCNCINvMNtB6_6threadNtB1h_7Builder16spawn_unchecked_INtNtCs1EcCWnECj43_5alloc5boxed3BoxDINtNtNtCsfNJj4hWmu86_4core3ops8function6FnOnceuEp6OutputuNtNtB2G_6marker4SendEL_EuEs_000uECs9eQ 31: 0x7ffe40b5c1dd - alloc::boxed::impl$28::call_once at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\alloc\src\boxed.rs:1970 32: 0x7ffe40b5c1dd - alloc::boxed::impl$28::call_once at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\alloc\src\boxed.rs:1970 33: 0x7ffe40b5c1dd - std::sys::pal::windows::thread::impl$0::new::thread_start at /rustc/8dc83770f748c6cd16b342889ca2240397c19534/library\std\src\sys\pal\windows\thread.rs:55 34: 0x7fff645b259d - BaseThreadInitThunk 35: 0x7fff65acaf38 - RtlUserThreadStart rustc version: 1.85.0-nightly (8dc83770f 2024-12-06) platform: x86_64-pc-windows-msvc query stack during panic: #0 [typeck] type-checking `main` #1 [analysis] running analysis passes on this crate end of query stack Metadata
Metadata
Assignees
Labels
Category: This is a bug.Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Status: This bug is tracked inside the repo by a `known-bug` test.Status: A bisection has been found for this issueStatus: A Minimal Complete and Verifiable Example has been found for this issueRelevant to the compiler team, which will review and decide on the PR/issue.