Skip to content

[ICE]: unstable fingerprints for explicit_supertraits_containing_assoc_item #158396

Description

@sftse

Made an initial attempt to reduce but seems fragile.

thread 'rustc' panicked at /rustc-dev/9e2abe0c6ab27fcbb95c30695188a75776e2feb1/compiler/rustc_middle/src/verify_ich.rs:82:9:
Found unstable fingerprints for explicit_supertraits_containing_assoc_item(c96c1b5817b44ba1-c6206cd125dc6d92): EarlyBinder { value: [(Binder { value: TraitPredicate(<Self as std::marker::MetaSized>, polarity:Positive), bound_vars: [] }, driver/src/types.rs:167:1: 230:2 (#1954))], .. }
stack backtrace:
   0:     0x7fbdd274327b - <std[7714dba5b6ef3665]::backtrace::Backtrace>::create
   1:     0x7fbdd27431c5 - <std[7714dba5b6ef3665]::backtrace::Backtrace>::force_capture
   2:     0x7fbdd14f36cd - std[7714dba5b6ef3665]::panicking::update_hook::<alloc[ae23afbf0eb7b860]::boxed::Box<rustc_driver_impl[9ef58b002ab3d52b]::install_ice_hook::{closure#1}>>::{closure#0}
   3:     0x7fbdd2756882 - std[7714dba5b6ef3665]::panicking::panic_with_hook
   4:     0x7fbdd2738c72 - std[7714dba5b6ef3665]::panicking::panic_handler::{closure#0}
   5:     0x7fbdd272f979 - std[7714dba5b6ef3665]::sys::backtrace::__rust_end_short_backtrace::<std[7714dba5b6ef3665]::panicking::panic_handler::{closure#0}, !>
   6:     0x7fbdd273a6dd - __rustc[ea0685af806a8468]::rust_begin_unwind
   7:     0x7fbdcf1b3f3c - core[d50e0e9deb654cba]::panicking::panic_fmt
   8:     0x7fbdd1bf0aa6 - rustc_middle[baaa39d4d91d7d69]::verify_ich::incremental_verify_ich_failed
   9:     0x7fbdd2f45bc4 - rustc_middle[baaa39d4d91d7d69]::verify_ich::incremental_verify_ich::<rustc_middle[baaa39d4d91d7d69]::query::erase::ErasedData<[u8; 16usize]>>
  10:     0x7fbdd3dc073f - rustc_query_impl[5b1f09c03d5f0969]::execution::try_execute_query::<rustc_middle[baaa39d4d91d7d69]::query::caches::DefaultCache<(rustc_span[413ded034610a5]::def_id::DefId, rustc_span[413ded034610a5]::symbol::Ident), rustc_middle[baaa39d4d91d7d69]::query::erase::ErasedData<[u8; 16usize]>>, true>
  11:     0x7fbdd3dbfce9 - rustc_query_impl[5b1f09c03d5f0969]::query_impl::explicit_supertraits_containing_assoc_item::execute_query_incr::__rust_end_short_backtrace
  12:     0x7fbdd34c04ed - <core[d50e0e9deb654cba]::iter::sources::from_fn::FromFn<rustc_infer[1a7869e305c77d6d]::traits::util::transitive_bounds_that_define_assoc_item<core[d50e0e9deb654cba]::iter::adapters::filter_map::FilterMap<core[d50e0e9deb654cba]::iter::adapters::map::Map<rustc_type_ir[321aae95b0c494d9]::binder::IterIdentityCopied<rustc_middle[baaa39d4d91d7d69]::ty::context::TyCtxt, &[(rustc_middle[baaa39d4d91d7d69]::ty::predicate::Clause, rustc_span[413ded034610a5]::span_encoding::Span)]>, <rustc_type_ir[321aae95b0c494d9]::unnormalized::Unnormalized<rustc_middle[baaa39d4d91d7d69]::ty::context::TyCtxt, (rustc_middle[baaa39d4d91d7d69]::ty::predicate::Clause, rustc_span[413ded034610a5]::span_encoding::Span)>>::skip_norm_wip>, <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::probe_single_ty_param_bound_for_assoc_item::{closure#0}::{closure#0}::{closure#0}>>::{closure#0}> as core[d50e0e9deb654cba]::iter::traits::iterator::Iterator>::next
  13:     0x7fbdd34bd588 - <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::probe_single_bound_for_assoc_item::<core[d50e0e9deb654cba]::iter::sources::from_fn::FromFn<rustc_infer[1a7869e305c77d6d]::traits::util::transitive_bounds_that_define_assoc_item<core[d50e0e9deb654cba]::iter::adapters::filter_map::FilterMap<core[d50e0e9deb654cba]::iter::adapters::map::Map<rustc_type_ir[321aae95b0c494d9]::binder::IterIdentityCopied<rustc_middle[baaa39d4d91d7d69]::ty::context::TyCtxt, &[(rustc_middle[baaa39d4d91d7d69]::ty::predicate::Clause, rustc_span[413ded034610a5]::span_encoding::Span)]>, <rustc_type_ir[321aae95b0c494d9]::unnormalized::Unnormalized<rustc_middle[baaa39d4d91d7d69]::ty::context::TyCtxt, (rustc_middle[baaa39d4d91d7d69]::ty::predicate::Clause, rustc_span[413ded034610a5]::span_encoding::Span)>>::skip_norm_wip>, <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::probe_single_ty_param_bound_for_assoc_item::{closure#0}::{closure#0}::{closure#0}>>::{closure#0}>, <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::probe_single_ty_param_bound_for_assoc_item::{closure#0}::{closure#0}>::{closure#0}
  14:     0x7fbdd34b86e0 - <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::resolve_type_relative_path
  15:     0x7fbdd3499585 - <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::lower_type_relative_path::{closure#0}
  16:     0x7fbdd34a43c6 - <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::lower_type_relative_ty_path::{closure#0}
  17:     0x7fbdd34a95e4 - <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::lower_ty
  18:     0x7fbdd34a0091 - <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::lower_generic_args_of_path::{closure#0}
  19:     0x7fbdd34a6ae7 - <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::lower_ty
  20:     0x7fbdd36b85c7 - <dyn rustc_hir_analysis[69433c83ad13238c]::hir_ty_lowering::HirTyLowerer>::lower_fn_ty
  21:     0x7fbdd36b7c94 - rustc_hir_analysis[69433c83ad13238c]::collect::lower_fn_sig_recovering_infer_ret_ty
  22:     0x7fbdd306e68a - rustc_hir_analysis[69433c83ad13238c]::collect::fn_sig
  23:     0x7fbdd306de66 - rustc_query_impl[5b1f09c03d5f0969]::query_impl::fn_sig::invoke_provider_fn::__rust_begin_short_backtrace
  24:     0x7fbdd31884cd - rustc_query_impl[5b1f09c03d5f0969]::execution::try_execute_query::<rustc_middle[baaa39d4d91d7d69]::query::caches::DefIdCache<rustc_middle[baaa39d4d91d7d69]::query::erase::ErasedData<[u8; 24usize]>>, true>
  25:     0x7fbdd31c11cb - rustc_query_impl[5b1f09c03d5f0969]::query_impl::fn_sig::execute_query_incr::__rust_end_short_backtrace
  26:     0x7fbdd305a4a3 - <rustc_hir_analysis[69433c83ad13238c]::variance::constraints::ConstraintContext>::build_constraints_for_item
  27:     0x7fbdcf27cac8 - rustc_hir_analysis[69433c83ad13238c]::variance::crate_variances
  28:     0x7fbdd3f66be8 - rustc_query_impl[5b1f09c03d5f0969]::query_impl::crate_variances::invoke_provider_fn::__rust_begin_short_backtrace
  29:     0x7fbdd3f5ba77 - rustc_query_impl[5b1f09c03d5f0969]::execution::try_execute_query::<rustc_middle[baaa39d4d91d7d69]::query::caches::SingleCache<rustc_middle[baaa39d4d91d7d69]::query::erase::ErasedData<[u8; 8usize]>>, true>
  30:     0x7fbdd3f5b36f - rustc_query_impl[5b1f09c03d5f0969]::execution::force_query_dep_node::<rustc_middle[baaa39d4d91d7d69]::query::caches::SingleCache<rustc_middle[baaa39d4d91d7d69]::query::erase::ErasedData<[u8; 8usize]>>>
  31:     0x7fbdd44bdbad - <rustc_query_impl[5b1f09c03d5f0969]::dep_kind_vtables::make_dep_kind_vtable_for_query<rustc_query_impl[5b1f09c03d5f0969]::query_impl::crate_variances::VTableGetter>::{closure#0} as core[d50e0e9deb654cba]::ops::function::FnOnce<(rustc_middle[baaa39d4d91d7d69]::ty::context::TyCtxt, rustc_middle[baaa39d4d91d7d69]::dep_graph::dep_node::DepNode, rustc_middle[baaa39d4d91d7d69]::dep_graph::serialized::SerializedDepNodeIndex)>>::call_once
  32:     0x7fbdd2e22e23 - <rustc_middle[baaa39d4d91d7d69]::dep_graph::graph::DepGraphData>::try_mark_previous_green
  33:     0x7fbdd2e22a54 - <rustc_middle[baaa39d4d91d7d69]::dep_graph::graph::DepGraphData>::try_mark_previous_green
  34:     0x7fbdd31c4ca5 - rustc_query_impl[5b1f09c03d5f0969]::execution::ensure_can_skip_execution::<rustc_data_structures[f9eb68913028e68]::vec_cache::VecCache<rustc_span[413ded034610a5]::def_id::LocalDefId, rustc_middle[baaa39d4d91d7d69]::query::erase::ErasedData<[u8; 1usize]>, rustc_middle[baaa39d4d91d7d69]::dep_graph::graph::DepNodeIndex>>
  35:     0x7fbdd31c988f - rustc_query_impl[5b1f09c03d5f0969]::query_impl::check_well_formed::execute_query_incr::__rust_end_short_backtrace
  36:     0x7fbdd3cab66f - rustc_hir_analysis[69433c83ad13238c]::check::wfcheck::check_type_wf
  37:     0x7fbdd3cab561 - rustc_query_impl[5b1f09c03d5f0969]::query_impl::check_type_wf::invoke_provider_fn::__rust_begin_short_backtrace
  38:     0x7fbdd40eb3a8 - rustc_query_impl[5b1f09c03d5f0969]::execution::try_execute_query::<rustc_middle[baaa39d4d91d7d69]::query::caches::SingleCache<rustc_middle[baaa39d4d91d7d69]::query::erase::ErasedData<[u8; 1usize]>>, true>
  39:     0x7fbdd40ead4c - rustc_query_impl[5b1f09c03d5f0969]::query_impl::check_type_wf::execute_query_incr::__rust_end_short_backtrace
  40:     0x7fbdd3263d9e - rustc_hir_analysis[69433c83ad13238c]::check_crate
  41:     0x7fbdd326624c - rustc_interface[f47445029dc880bd]::passes::analysis
  42:     0x7fbdd3fcf642 - rustc_query_impl[5b1f09c03d5f0969]::execution::try_execute_query::<rustc_middle[baaa39d4d91d7d69]::query::caches::SingleCache<rustc_middle[baaa39d4d91d7d69]::query::erase::ErasedData<[u8; 0usize]>>, true>
  43:     0x7fbdd3fcef77 - rustc_query_impl[5b1f09c03d5f0969]::query_impl::analysis::execute_query_incr::__rust_end_short_backtrace
  44:     0x7fbdd3f29312 - rustc_interface[f47445029dc880bd]::interface::run_compiler::<(), rustc_driver_impl[9ef58b002ab3d52b]::run_compiler::{closure#0}>::{closure#1}
  45:     0x7fbdd3f76eba - std[7714dba5b6ef3665]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[f47445029dc880bd]::util::run_in_thread_with_globals<rustc_interface[f47445029dc880bd]::util::run_in_thread_pool_with_globals<rustc_interface[f47445029dc880bd]::interface::run_compiler<(), rustc_driver_impl[9ef58b002ab3d52b]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
  46:     0x7fbdd3f76c6d - <std[7714dba5b6ef3665]::thread::lifecycle::spawn_unchecked<rustc_interface[f47445029dc880bd]::util::run_in_thread_with_globals<rustc_interface[f47445029dc880bd]::util::run_in_thread_pool_with_globals<rustc_interface[f47445029dc880bd]::interface::run_compiler<(), rustc_driver_impl[9ef58b002ab3d52b]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[d50e0e9deb654cba]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  47:     0x7fbdd3f6d150 - <std[7714dba5b6ef3665]::sys::thread::unix::Thread>::new::thread_start
  48:     0x7fbdcd494480 - <unknown>
  49:     0x7fbdcd51482c - <unknown>
  50:                0x0 - <unknown>


rustc version: 1.98.0-nightly (9e2abe0c6 2026-06-16)
platform: x86_64-unknown-linux-gnu

query stack during panic:
#0 [explicit_supertraits_containing_assoc_item] computing the super traits of `types::Unpack` with associated type name `ItemType`
#1 [fn_sig] computing function signature of `types::default_unpack_file`
#2 [crate_variances] computing the variances for items in this crate
#3 [check_type_wf] checking that types are well-formed
#4 [analysis] running analysis passes on crate `driver`
end of query stack

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-needs-reproStatus: This issue has no reproduction and needs a reproduction to make progress.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.needs-triageThis issue may need triage. Remove it if it has been sufficiently triaged.

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions