Skip to content

ICE: node_type: no type for node HirId( #129150

Closed
@matthiaskrgr

Description

@matthiaskrgr

auto-reduced (treereduce-rust):

use std::arch::x86_64::{__m128, _mm_blend_ps};

pub fn arch() -> __m128 {
    let f = { |x, y| unsafe { _mm_blend_ps(x, y, { &const {} }) } };
    f(x, y)
}

original:

use std::arch::x86_64::{__m128, _mm_blend_ps};

pub fn arch( ) -> __m128 {
    let f = { |x, y| unsafe {
        _mm_blend_ps(x, y, { &const { InvariantRef::<'a>::NEW } })
    }};
    f(x, y)
}

Version information

rustc 1.82.0-nightly (d626fbdc6 2024-08-16)
binary: rustc
commit-hash: d626fbdc66d667dd5beefb9e43bd2798485f7a44
commit-date: 2024-08-16
host: x86_64-unknown-linux-gnu
release: 1.82.0-nightly
LLVM version: 19.1.0

Command:
/home/matthias/.rustup/toolchains/master/bin/rustc -Zincremental-verify-ich=yes -Cincremental=<dir> -Cdebuginfo=2

Program output

error[E0425]: cannot find value `x` in this scope
 --> /tmp/icemaker_global_tempdir.JBgDV4vgI7p6/rustc_testrunner_tmpdir_reporting.FndBZ8q46rCS/mvce.rs:5:7
  |
5 |     f(x, y)
  |       ^ help: a local variable with a similar name exists: `f`

error[E0425]: cannot find value `y` in this scope
 --> /tmp/icemaker_global_tempdir.JBgDV4vgI7p6/rustc_testrunner_tmpdir_reporting.FndBZ8q46rCS/mvce.rs:5:10
  |
5 |     f(x, y)
  |          ^ help: a local variable with a similar name exists: `f`

warning: unnecessary braces around function argument
 --> /tmp/icemaker_global_tempdir.JBgDV4vgI7p6/rustc_testrunner_tmpdir_reporting.FndBZ8q46rCS/mvce.rs:4:50
  |
4 |     let f = { |x, y| unsafe { _mm_blend_ps(x, y, { &const {} }) } };
  |                                                  ^^         ^^
  |
  = note: `#[warn(unused_braces)]` on by default
help: remove these braces
  |
4 -     let f = { |x, y| unsafe { _mm_blend_ps(x, y, { &const {} }) } };
4 +     let f = { |x, y| unsafe { _mm_blend_ps(x, y, &const {}) } };
  |

error[E0601]: `main` function not found in crate `mvce`
 --> /tmp/icemaker_global_tempdir.JBgDV4vgI7p6/rustc_testrunner_tmpdir_reporting.FndBZ8q46rCS/mvce.rs:6:2
  |
6 | }
  |  ^ consider adding a `main` function to `/tmp/icemaker_global_tempdir.JBgDV4vgI7p6/rustc_testrunner_tmpdir_reporting.FndBZ8q46rCS/mvce.rs`

error[E0308]: mismatched types
 --> /tmp/icemaker_global_tempdir.JBgDV4vgI7p6/rustc_testrunner_tmpdir_reporting.FndBZ8q46rCS/mvce.rs:4:52
  |
4 |     let f = { |x, y| unsafe { _mm_blend_ps(x, y, { &const {} }) } };
  |                                                    ^^^^^^^^^ expected `i32`, found `&()`

error: internal compiler error: compiler/rustc_middle/src/ty/typeck_results.rs:334:13: node_type: no type for node HirId(DefId(0:6 ~ mvce[3c83]::arch).15) (const `{}`)

thread 'rustc' panicked at compiler/rustc_middle/src/ty/typeck_results.rs:334:13:
Box<dyn Any>
stack backtrace:
   0:     0x7ac7ecfb54dd - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hbcb9f5cf12b14f47
   1:     0x7ac7ed805297 - core::fmt::write::h10bda66e6bf714b2
   2:     0x7ac7ee7cfa91 - std::io::Write::write_fmt::haaf2df02fc383af3
   3:     0x7ac7ecfb7bbb - std::panicking::default_hook::{{closure}}::h103ad5f921545bf2
   4:     0x7ac7ecfb782e - std::panicking::default_hook::h699e6afa04bbf2d2
   5:     0x7ac7ec14c049 - std[8b2db094fc706015]::panicking::update_hook::<alloc[bb0f9e622dcbf0d]::boxed::Box<rustc_driver_impl[fd132fbcc7c8abf5]::install_ice_hook::{closure#0}>>::{closure#0}
   6:     0x7ac7ecfb84d7 - std::panicking::rust_panic_with_hook::h4b7c19967d3e4727
   7:     0x7ac7ec186211 - std[8b2db094fc706015]::panicking::begin_panic::<rustc_errors[b18244f215bb32e0]::ExplicitBug>::{closure#0}
   8:     0x7ac7ec1793f6 - std[8b2db094fc706015]::sys::backtrace::__rust_end_short_backtrace::<std[8b2db094fc706015]::panicking::begin_panic<rustc_errors[b18244f215bb32e0]::ExplicitBug>::{closure#0}, !>
   9:     0x7ac7ec1793a6 - std[8b2db094fc706015]::panicking::begin_panic::<rustc_errors[b18244f215bb32e0]::ExplicitBug>
  10:     0x7ac7ec18f391 - <rustc_errors[b18244f215bb32e0]::diagnostic::BugAbort as rustc_errors[b18244f215bb32e0]::diagnostic::EmissionGuarantee>::emit_producing_guarantee
  11:     0x7ac7ec751b84 - rustc_middle[83734a3cfd7912b4]::util::bug::opt_span_bug_fmt::<rustc_span[f1a14652fe04e1f9]::span_encoding::Span>::{closure#0}
  12:     0x7ac7ec737e6a - rustc_middle[83734a3cfd7912b4]::ty::context::tls::with_opt::<rustc_middle[83734a3cfd7912b4]::util::bug::opt_span_bug_fmt<rustc_span[f1a14652fe04e1f9]::span_encoding::Span>::{closure#0}, !>::{closure#0}
  13:     0x7ac7ec737d1b - rustc_middle[83734a3cfd7912b4]::ty::context::tls::with_context_opt::<rustc_middle[83734a3cfd7912b4]::ty::context::tls::with_opt<rustc_middle[83734a3cfd7912b4]::util::bug::opt_span_bug_fmt<rustc_span[f1a14652fe04e1f9]::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
  14:     0x7ac7ea21a100 - rustc_middle[83734a3cfd7912b4]::util::bug::bug_fmt
  15:     0x7ac7ee0052cb - rustc_mir_build[a568d047590b32ed]::thir::cx::thir_body
  16:     0x7ac7ee003592 - rustc_query_impl[ecaf2260d0180310]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[ecaf2260d0180310]::query_impl::thir_body::dynamic_query::{closure#2}::{closure#0}, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 16usize]>>
  17:     0x7ac7edc3111a - rustc_query_system[fa82f4068ff2e0d1]::query::plumbing::try_execute_query::<rustc_query_impl[ecaf2260d0180310]::DynamicConfig<rustc_query_system[fa82f4068ff2e0d1]::query::caches::VecCache<rustc_span[f1a14652fe04e1f9]::def_id::LocalDefId, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 16usize]>>, false, false, false>, rustc_query_impl[ecaf2260d0180310]::plumbing::QueryCtxt, true>
  18:     0x7ac7edc308d4 - rustc_query_impl[ecaf2260d0180310]::query_impl::thir_body::get_query_incr::__rust_end_short_backtrace
  19:     0x7ac7edff43a2 - rustc_mir_build[a568d047590b32ed]::thir::pattern::check_match::check_match
  20:     0x7ac7edff3b1b - rustc_query_impl[ecaf2260d0180310]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[ecaf2260d0180310]::query_impl::check_match::dynamic_query::{closure#2}::{closure#0}, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 1usize]>>
  21:     0x7ac7edbbbe53 - rustc_query_system[fa82f4068ff2e0d1]::query::plumbing::try_execute_query::<rustc_query_impl[ecaf2260d0180310]::DynamicConfig<rustc_query_system[fa82f4068ff2e0d1]::query::caches::VecCache<rustc_span[f1a14652fe04e1f9]::def_id::LocalDefId, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[ecaf2260d0180310]::plumbing::QueryCtxt, true>
  22:     0x7ac7ed986701 - rustc_query_impl[ecaf2260d0180310]::query_impl::check_match::get_query_incr::__rust_end_short_backtrace
  23:     0x7ac7ee00a092 - rustc_mir_build[a568d047590b32ed]::build::mir_build
  24:     0x7ac7ee00974e - rustc_query_impl[ecaf2260d0180310]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[ecaf2260d0180310]::query_impl::mir_built::dynamic_query::{closure#2}::{closure#0}, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 8usize]>>
  25:     0x7ac7edabd20a - rustc_query_system[fa82f4068ff2e0d1]::query::plumbing::try_execute_query::<rustc_query_impl[ecaf2260d0180310]::DynamicConfig<rustc_query_system[fa82f4068ff2e0d1]::query::caches::VecCache<rustc_span[f1a14652fe04e1f9]::def_id::LocalDefId, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[ecaf2260d0180310]::plumbing::QueryCtxt, true>
  26:     0x7ac7edbc7bdc - rustc_query_impl[ecaf2260d0180310]::query_impl::mir_built::get_query_incr::__rust_end_short_backtrace
  27:     0x7ac7ee0a61ed - rustc_mir_transform[d1eb952f32b25668]::mir_const_qualif
  28:     0x7ac7ee0a60f7 - rustc_query_impl[ecaf2260d0180310]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[ecaf2260d0180310]::query_impl::mir_const_qualif::dynamic_query::{closure#2}::{closure#0}, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 4usize]>>
  29:     0x7ac7ee0a4059 - rustc_query_system[fa82f4068ff2e0d1]::query::plumbing::try_execute_query::<rustc_query_impl[ecaf2260d0180310]::DynamicConfig<rustc_query_system[fa82f4068ff2e0d1]::query::caches::DefIdCache<rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 4usize]>>, false, false, false>, rustc_query_impl[ecaf2260d0180310]::plumbing::QueryCtxt, true>
  30:     0x7ac7ee0a3a0a - rustc_query_impl[ecaf2260d0180310]::query_impl::mir_const_qualif::get_query_incr::__rust_end_short_backtrace
  31:     0x7ac7edff02da - rustc_mir_transform[d1eb952f32b25668]::mir_promoted
  32:     0x7ac7edfefc52 - rustc_query_impl[ecaf2260d0180310]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[ecaf2260d0180310]::query_impl::mir_promoted::dynamic_query::{closure#2}::{closure#0}, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 16usize]>>
  33:     0x7ac7edc3117b - rustc_query_system[fa82f4068ff2e0d1]::query::plumbing::try_execute_query::<rustc_query_impl[ecaf2260d0180310]::DynamicConfig<rustc_query_system[fa82f4068ff2e0d1]::query::caches::VecCache<rustc_span[f1a14652fe04e1f9]::def_id::LocalDefId, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 16usize]>>, false, false, false>, rustc_query_impl[ecaf2260d0180310]::plumbing::QueryCtxt, true>
  34:     0x7ac7edc307d4 - rustc_query_impl[ecaf2260d0180310]::query_impl::mir_promoted::get_query_incr::__rust_end_short_backtrace
  35:     0x7ac7ee928b93 - rustc_query_impl[ecaf2260d0180310]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[ecaf2260d0180310]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 8usize]>>
  36:     0x7ac7edabd20a - rustc_query_system[fa82f4068ff2e0d1]::query::plumbing::try_execute_query::<rustc_query_impl[ecaf2260d0180310]::DynamicConfig<rustc_query_system[fa82f4068ff2e0d1]::query::caches::VecCache<rustc_span[f1a14652fe04e1f9]::def_id::LocalDefId, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[ecaf2260d0180310]::plumbing::QueryCtxt, true>
  37:     0x7ac7edbc7f74 - rustc_query_impl[ecaf2260d0180310]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
  38:     0x7ac7ee274344 - rustc_interface[3c61e9c6fae1d8f5]::passes::run_required_analyses
  39:     0x7ac7ee34041e - rustc_interface[3c61e9c6fae1d8f5]::passes::analysis
  40:     0x7ac7ee3403f1 - rustc_query_impl[ecaf2260d0180310]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[ecaf2260d0180310]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 1usize]>>
  41:     0x7ac7ee81724d - rustc_query_system[fa82f4068ff2e0d1]::query::plumbing::try_execute_query::<rustc_query_impl[ecaf2260d0180310]::DynamicConfig<rustc_query_system[fa82f4068ff2e0d1]::query::caches::SingleCache<rustc_middle[83734a3cfd7912b4]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[ecaf2260d0180310]::plumbing::QueryCtxt, true>
  42:     0x7ac7ee816efa - rustc_query_impl[ecaf2260d0180310]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
  43:     0x7ac7ee60062a - rustc_interface[3c61e9c6fae1d8f5]::interface::run_compiler::<core[5472d93c6cba957b]::result::Result<(), rustc_span[f1a14652fe04e1f9]::ErrorGuaranteed>, rustc_driver_impl[fd132fbcc7c8abf5]::run_compiler::{closure#0}>::{closure#1}
  44:     0x7ac7ee5d5d10 - std[8b2db094fc706015]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[3c61e9c6fae1d8f5]::util::run_in_thread_with_globals<rustc_interface[3c61e9c6fae1d8f5]::util::run_in_thread_pool_with_globals<rustc_interface[3c61e9c6fae1d8f5]::interface::run_compiler<core[5472d93c6cba957b]::result::Result<(), rustc_span[f1a14652fe04e1f9]::ErrorGuaranteed>, rustc_driver_impl[fd132fbcc7c8abf5]::run_compiler::{closure#0}>::{closure#1}, core[5472d93c6cba957b]::result::Result<(), rustc_span[f1a14652fe04e1f9]::ErrorGuaranteed>>::{closure#0}, core[5472d93c6cba957b]::result::Result<(), rustc_span[f1a14652fe04e1f9]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[5472d93c6cba957b]::result::Result<(), rustc_span[f1a14652fe04e1f9]::ErrorGuaranteed>>
  45:     0x7ac7ee5d637a - <<std[8b2db094fc706015]::thread::Builder>::spawn_unchecked_<rustc_interface[3c61e9c6fae1d8f5]::util::run_in_thread_with_globals<rustc_interface[3c61e9c6fae1d8f5]::util::run_in_thread_pool_with_globals<rustc_interface[3c61e9c6fae1d8f5]::interface::run_compiler<core[5472d93c6cba957b]::result::Result<(), rustc_span[f1a14652fe04e1f9]::ErrorGuaranteed>, rustc_driver_impl[fd132fbcc7c8abf5]::run_compiler::{closure#0}>::{closure#1}, core[5472d93c6cba957b]::result::Result<(), rustc_span[f1a14652fe04e1f9]::ErrorGuaranteed>>::{closure#0}, core[5472d93c6cba957b]::result::Result<(), rustc_span[f1a14652fe04e1f9]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[5472d93c6cba957b]::result::Result<(), rustc_span[f1a14652fe04e1f9]::ErrorGuaranteed>>::{closure#1} as core[5472d93c6cba957b]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  46:     0x7ac7ee5d66eb - std::sys::pal::unix::thread::Thread::new::thread_start::h7504247ad105ec0b
  47:     0x7ac7efdc739d - <unknown>
  48:     0x7ac7efe4c49c - <unknown>
  49:                0x0 - <unknown>

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: rustc 1.82.0-nightly (d626fbdc6 2024-08-16) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z incremental-verify-ich=yes -C incremental=[REDACTED] -C debuginfo=2

query stack during panic:
#0 [thir_body] building THIR for `arch::{closure#0}::{constant#0}`
#1 [check_match] match-checking `arch::{closure#0}::{constant#0}`
end of query stack
error: aborting due to 5 previous errors; 1 warning emitted

Some errors have detailed explanations: E0308, E0425, E0601.
For more information about an error, try `rustc --explain E0308`.

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️S-bug-has-testStatus: This bug is tracked inside the repo by a `known-bug` test.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions