MIRI job is failing with internal compiler error

[alamb]

Describe the bug

error: the compiler unexpectedly panicked. this is a bug.

Example: https://github.com/apache/arrow-rs/actions/runs/17096182578/job/48489772206?pr=8176

---- arrow-array/src/builder/mod.rs - builder (line 94) stdout ----

thread 'rustc' (8171) panicked at compiler/rustc_trait_selection/src/traits/select/mod.rs:294:24:
`TraitPredicate(<&'a std::vec::Vec<std::option::Option<&str>> as std::iter::IntoIterator>, polarity:Positive)` has escaping bound vars, so it cannot be wrapped in a dummy binder.
stack backtrace:
   0:     0x7f422ac1e043 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hcf053f473b56a7a6
   1:     0x7f422b401a18 - core::fmt::write::h426d217b3f074042
   2:     0x7f422ac08e03 - std::io::Write::write_fmt::h68df8f9b11af571d
   3:     0x7f422ac1dea2 - std::sys::backtrace::BacktraceLock::print::h084654a96f004385
   4:     0x7f422ac00711 - std::panicking::default_hook::{{closure}}::h22fc639cc60120ae
   5:     0x7f422ac0023d - std::panicking::default_hook::hb7c4395f23295180
   6:     0x7f4229c6b6f5 - std[91586dded61bf123]::panicking::update_hook::<alloc[a8496826333dd81]::boxed::Box<rustc_driver_impl[a32761b8ae1cc4b0]::install_ice_hook::{closure#1}>>::{closure#0}
   7:     0x7f422ac0115e - std::panicking::panic_with_hook::he8374db060d96dcd
   8:     0x7f422ac1e57a - std::panicking::panic_handler::{{closure}}::hca231fc101b3e6fd
   9:     0x7f422ac1e4d9 - std::sys::backtrace::__rust_end_short_backtrace::h06926a2e2943ba89
  10:     0x7f422ac00d2d - __rustc[b1c59c6436b5ca6d]::rust_begin_unwind
  11:     0x7f42272d97c0 - core::panicking::panic_fmt::h70c2893dd3ea1174
  12:     0x7f422b4fdbc5 - <rustc_trait_selection[7bb7270748d17f26]::traits::select::SelectionContext>::select
  13:     0x7f422bed840a - rustc_traits[53197189e8c6aec]::codegen::codegen_select_candidate
  14:     0x7f422bed7fbf - rustc_query_impl[8928d0cdc353bfd3]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[8928d0cdc353bfd3]::query_impl::codegen_select_candidate::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2606eb7ae987f1da]::query::erase::Erased<[u8; 16usize]>>
  15:     0x7f422bed7052 - rustc_query_system[e45dfb2f5b784721]::query::plumbing::try_execute_query::<rustc_query_impl[8928d0cdc353bfd3]::DynamicConfig<rustc_query_system[e45dfb2f5b784721]::query::caches::DefaultCache<rustc_middle[2606eb7ae987f1da]::ty::PseudoCanonicalInput<rustc_type_ir[17415670be52970c]::predicate::TraitRef<rustc_middle[2606eb7ae987f1da]::ty::context::TyCtxt>>, rustc_middle[2606eb7ae987f1da]::query::erase::Erased<[u8; 16usize]>>, false, false, false>, rustc_query_impl[8928d0cdc353bfd3]::plumbing::QueryCtxt, false>
  16:     0x7f422bed6ca3 - rustc_query_impl[8928d0cdc353bfd3]::query_impl::codegen_select_candidate::get_query_non_incr::__rust_end_short_backtrace
  17:     0x7f422bece54f - rustc_ty_utils[d13c0d01f6c92fe0]::instance::resolve_instance_raw
  18:     0x7f422beccef4 - rustc_query_impl[8928d0cdc353bfd3]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[8928d0cdc353bfd3]::query_impl::resolve_instance_raw::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2606eb7ae987f1da]::query::erase::Erased<[u8; 32usize]>>
  19:     0x7f422becc004 - rustc_query_system[e45dfb2f5b784721]::query::plumbing::try_execute_query::<rustc_query_impl[8928d0cdc353bfd3]::DynamicConfig<rustc_query_system[e45dfb2f5b784721]::query::caches::DefaultCache<rustc_middle[2606eb7ae987f1da]::ty::PseudoCanonicalInput<(rustc_span[8e02ed64795c0821]::def_id::DefId, &rustc_middle[2606eb7ae987f1da]::ty::list::RawList<(), rustc_middle[2606eb7ae987f1da]::ty::generic_args::GenericArg>)>, rustc_middle[2606eb7ae987f1da]::query::erase::Erased<[u8; 32usize]>>, false, false, false>, rustc_query_impl[8928d0cdc353bfd3]::plumbing::QueryCtxt, false>
  20:     0x7f422becbc33 - rustc_query_impl[8928d0cdc353bfd3]::query_impl::resolve_instance_raw::get_query_non_incr::__rust_end_short_backtrace
  21:     0x7f422b434392 - <rustc_middle[2606eb7ae987f1da]::ty::instance::Instance>::try_resolve
  22:     0x7f422a0e6943 - <rustc_lint[896ba270478ae47f]::internal::QueryStability as rustc_lint[896ba270478ae47f]::passes::LateLintPass>::check_expr
  23:     0x7f422a0c9c8e - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_expr::{closure#0}::{closure#0}
  24:     0x7f422a0ca73c - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_expr
  25:     0x7f422a0c95a1 - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_block
  26:     0x7f422a0ca380 - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_expr::{closure#0}::{closure#0}
  27:     0x7f422a0ca73c - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_expr
  28:     0x7f422a0cb30c - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_nested_body
  29:     0x7f422a0c8b3e - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_fn
  30:     0x7f422a0c85da - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_nested_item
  31:     0x7f422a0c9670 - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_block
  32:     0x7f422a0ca380 - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_expr::{closure#0}::{closure#0}
  33:     0x7f422a0ca73c - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_expr
  34:     0x7f422a0cb30c - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_nested_body
  35:     0x7f422a0c8b3e - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_fn
  36:     0x7f422a0c85da - <rustc_lint[896ba270478ae47f]::late::LateContextAndPass<rustc_lint[896ba270478ae47f]::late::RuntimeCombinedLateLintPass> as rustc_hir[ce88ed2bdf186acf]::intravisit::Visitor>::visit_nested_item
  37:     0x7f422bba5ffe - rustc_lint[896ba270478ae47f]::lint_mod
  38:     0x7f422bba57f7 - rustc_query_impl[8928d0cdc353bfd3]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[8928d0cdc353bfd3]::query_impl::lint_mod::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2606eb7ae987f1da]::query::erase::Erased<[u8; 0usize]>>
  39:     0x7f422c22f9b2 - rustc_query_system[e45dfb2f5b784721]::query::plumbing::try_execute_query::<rustc_query_impl[8928d0cdc353bfd3]::DynamicConfig<rustc_query_system[e45dfb2f5b784721]::query::caches::DefaultCache<rustc_span[8e02ed64795c0821]::def_id::LocalModDefId, rustc_middle[2606eb7ae987f1da]::query::erase::Erased<[u8; 0usize]>>, false, false, false>, rustc_query_impl[8928d0cdc353bfd3]::plumbing::QueryCtxt, false>
  40:     0x7f422c22eb3d - rustc_query_impl[8928d0cdc353bfd3]::query_impl::lint_mod::get_query_non_incr::__rust_end_short_backtrace
  41:     0x7f422c22e6a9 - rustc_lint[896ba270478ae47f]::late::check_crate::{closure#1}
  42:     0x7f422c22e218 - rustc_lint[896ba270478ae47f]::late::check_crate
  43:     0x7f422b6c0b7e - rustc_interface[633ffa5dc7bb5048]::passes::analysis
  44:     0x7f422b6c030d - rustc_query_impl[8928d0cdc353bfd3]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[8928d0cdc353bfd3]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2606eb7ae987f1da]::query::erase::Erased<[u8; 0usize]>>
  45:     0x7f422c4a5a66 - rustc_query_system[e45dfb2f5b784721]::query::plumbing::try_execute_query::<rustc_query_impl[8928d0cdc353bfd3]::DynamicConfig<rustc_query_system[e45dfb2f5b784721]::query::caches::SingleCache<rustc_middle[2606eb7ae987f1da]::query::erase::Erased<[u8; 0usize]>>, false, false, false>, rustc_query_impl[8928d0cdc353bfd3]::plumbing::QueryCtxt, false>
  46:     0x7f422c4a56bc - rustc_query_impl[8928d0cdc353bfd3]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
  47:     0x7f422c7c4f0b - rustc_interface[633ffa5dc7bb5048]::passes::create_and_enter_global_ctxt::<core[d99347adc0dbb9ec]::option::Option<rustc_interface[633ffa5dc7bb5048]::queries::Linker>, rustc_driver_impl[a32761b8ae1cc4b0]::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0}
  48:     0x7f422c68f0aa - rustc_interface[633ffa5dc7bb5048]::interface::run_compiler::<(), rustc_driver_impl[a32761b8ae1cc4b0]::run_compiler::{closure#0}>::{closure#1}
  49:     0x7f422c550af8 - std[91586dded61bf123]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[633ffa5dc7bb5048]::util::run_in_thread_with_globals<rustc_interface[633ffa5dc7bb5048]::util::run_in_thread_pool_with_globals<rustc_interface[633ffa5dc7bb5048]::interface::run_compiler<(), rustc_driver_impl[a32761b8ae1cc4b0]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
  50:     0x7f422c5507c8 - <<std[91586dded61bf123]::thread::Builder>::spawn_unchecked_<rustc_interface[633ffa5dc7bb5048]::util::run_in_thread_with_globals<rustc_interface[633ffa5dc7bb5048]::util::run_in_thread_pool_with_globals<rustc_interface[633ffa5dc7bb5048]::interface::run_compiler<(), rustc_driver_impl[a32761b8ae1cc4b0]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[d99347adc0dbb9ec]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  51:     0x7f422c551acb - std::sys::pal::unix::thread::Thread::new::thread_start::hfdeae9c35d1c96b2
  52:     0x7f4225c9caa4 - <unknown>
  53:     0x7f4225d29c3c - <unknown>
  54:                0x0 - <unknown>

error: the compiler unexpectedly panicked. this is a bug.

To Reproduce
Run MIRI

Expected behavior

Additional context

[alamb]

Here is an issue upstream in rust that looks similar:

• ICE has escaping bound vars, so it cannot be wrapped in a dummy binder. rust-lang/rust#145652

[alamb]

You can reproduce this locally

MIRIFLAGS="-Zmiri-disable-isolation" cargo +nightly miri test -p arrow-array --doc  "builder \(line 94\)"

[mbrobbel]

Looks like this was fixed upstream. I reran the failed job and it's now passing: https://github.com/apache/arrow-rs/actions/runs/17096182578/job/48801189677?pr=8176

[alamb]

Looks like this was fixed upstream. I reran the failed job and it's now passing: https://github.com/apache/arrow-rs/actions/runs/17096182578/job/48801189677?pr=8176

Thanks @mbrobbel

We should probably unpin the MIRI job eventually to use the latest nightly again:

arrow-rs/.github/workflows/miri.yaml

Lines 55 to 57 in 8d184e1

	# Temp pin to nightly-2025-08-18 until https://github.com/rust-lang/rust/issues/145652 is resolved
	# See https://github.com/apache/arrow-rs/issues/8181 for more details
	rustup toolchain install nightly-2025-08-18 --component miri

[mbrobbel]

We should probably unpin the MIRI job eventually to use the latest nightly again:

#8229