ice: `SaveContext::typeck_results` called outside of body' with -Zsave-analysis

[matthiaskrgr]

code reduced from ./src/test/ui/symbol-names/const-generics-structural-demangling.rs

Code

#![allow(incomplete_features)]

#[derive(PartialEq, Eq)]
pub struct Foo {}
pub struct Foo_<const F: Foo>;

impl Foo_<{Foo {}}> {}

fn main() {}

Meta

rustc --version --verbose:

rustc 1.56.0-nightly (5d6804469 2021-08-30)
binary: rustc
commit-hash: 5d6804469d80aaf26f98090ae016af45e267f58f
commit-date: 2021-08-30
host: x86_64-unknown-linux-gnu
release: 1.56.0-nightly
LLVM version: 13.0.0

Error output

rustc ./src/test/ui/symbol-names/const-generics-structural-demangling.rs --emit=mir -Zsave-analysis

error: `Foo` is forbidden as the type of a const generic parameter
 --> ./src/test/ui/symbol-names/const-generics-structural-demangling.rs:5:26
  |
5 | pub struct Foo_<const F: Foo>;
  |                          ^^^
  |
  = note: the only supported types are integers, `bool` and `char`
  = help: more complex types are supported with `#![feature(const_generics)]`

thread 'rustc' panicked at '`SaveContext::typeck_results` called outside of body', compiler/rustc_save_analysis/src/dump_visitor.rs:1351:48
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

error: internal compiler error: unexpected panic

note: 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: rustc 1.56.0-nightly (5d6804469 2021-08-30) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z save-analysis

query stack during panic:
end of query stack
error: aborting due to previous error

Backtrace

error: `Foo` is forbidden as the type of a const generic parameter
 --> ./src/test/ui/symbol-names/const-generics-structural-demangling.rs:5:26
  |
5 | pub struct Foo_<const F: Foo>;
  |                          ^^^
  |
  = note: the only supported types are integers, `bool` and `char`
  = help: more complex types are supported with `#![feature(const_generics)]`

thread 'rustc' panicked at '`SaveContext::typeck_results` called outside of body', compiler/rustc_save_analysis/src/dump_visitor.rs:1351:48
stack backtrace:
   0:     0x7f88edcfb26c - std::backtrace_rs::backtrace::libunwind::trace::hf16bab017f241aa7
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
   1:     0x7f88edcfb26c - std::backtrace_rs::backtrace::trace_unsynchronized::hfc27e8424e499412
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x7f88edcfb26c - std::sys_common::backtrace::_print_fmt::h5be1efcd85b410a6
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/sys_common/backtrace.rs:67:5
   3:     0x7f88edcfb26c - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h73cf7b443adc9274
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/sys_common/backtrace.rs:46:22
   4:     0x7f88edd58f3c - core::fmt::write::h9a6d9c74526a6c1b
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/core/src/fmt/mod.rs:1150:17
   5:     0x7f88edcec305 - std::io::Write::write_fmt::hb955fdedb1f691a8
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/io/mod.rs:1667:15
   6:     0x7f88edcfe7c0 - std::sys_common::backtrace::_print::hd5ba2c14c2d68f09
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/sys_common/backtrace.rs:49:5
   7:     0x7f88edcfe7c0 - std::sys_common::backtrace::print::h3b3d8e691bd3d5e8
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/sys_common/backtrace.rs:36:9
   8:     0x7f88edcfe7c0 - std::panicking::default_hook::{{closure}}::h703c292cd78e95a9
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/panicking.rs:210:50
   9:     0x7f88edcfe37b - std::panicking::default_hook::h23aea4a9b2140559
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/panicking.rs:227:9
  10:     0x7f88ee4d1621 - rustc_driver::DEFAULT_HOOK::{{closure}}::{{closure}}::h711cfdc4f17bb88e
  11:     0x7f88edcfefd9 - std::panicking::rust_panic_with_hook::hde97eb7782db5504
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/panicking.rs:628:17
  12:     0x7f88edcfea90 - std::panicking::begin_panic_handler::{{closure}}::h531b374cb1cba3c4
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/panicking.rs:521:13
  13:     0x7f88edcfb714 - std::sys_common::backtrace::__rust_end_short_backtrace::h170e7849f1857b98
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/sys_common/backtrace.rs:141:18
  14:     0x7f88edcfe9f9 - rust_begin_unwind
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/panicking.rs:517:5
  15:     0x7f88edcc4761 - core::panicking::panic_fmt::hcf5f6d96e1dd7099
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/core/src/panicking.rs:101:14
  16:     0x7f88edcc4653 - core::option::expect_failed::h0a5d8f51a88056e8
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/core/src/option.rs:1618:5
  17:     0x7f88ee5317bb - <rustc_save_analysis::dump_visitor::DumpVisitor as rustc_hir::intravisit::Visitor>::visit_expr::hf0cde4eb365a62ee
  18:     0x7f88ee527135 - rustc_hir::intravisit::Visitor::visit_nested_body::h67a1aac4b7ad5f62
  19:     0x7f88ee50fe4e - rustc_hir::intravisit::walk_generic_args::h1c55333a16463d1b
  20:     0x7f88ee511ec6 - rustc_hir::intravisit::walk_path::he03588414db59c16
  21:     0x7f88ee528300 - rustc_save_analysis::dump_visitor::DumpVisitor::nest_typeck_results::h8c7c7dc359c3e96f
  22:     0x7f88ee52f0b7 - <rustc_save_analysis::dump_visitor::DumpVisitor as rustc_hir::intravisit::Visitor>::visit_item::h69f3533faf47cca9
  23:     0x7f88ee527166 - rustc_hir::intravisit::Visitor::visit_nested_item::h61f76100706f6c0a
  24:     0x7f88ee50f17c - rustc_hir::intravisit::walk_crate::hacda3f4cfc4c2bd5
  25:     0x7f88ee52caf6 - rustc_save_analysis::dump_visitor::DumpVisitor::process_crate::h41a9128f5b06cdd9
  26:     0x7f88ee502402 - rustc_middle::dep_graph::<impl rustc_query_system::dep_graph::DepKind for rustc_middle::dep_graph::dep_node::DepKind>::with_deps::h255e97ab4d69c6b1
  27:     0x7f88ee504157 - std::thread::local::LocalKey<T>::with::h23b74998d1a23aa7
  28:     0x7f88ee4d3357 - rustc_save_analysis::process_crate::h06a24629e7a2b886
  29:     0x7f88ee4dba57 - rustc_session::utils::<impl rustc_session::session::Session>::time::hc4be7d99c80a1740
  30:     0x7f88effecb97 - rustc_interface::passes::QueryContext::enter::hd3fac6b0ebd98ed0
  31:     0x7f88effd3af1 - rustc_interface::queries::<impl rustc_interface::interface::Compiler>::enter::hd225abb57cc80e78
  32:     0x7f88effc08dc - rustc_span::with_source_map::h3e75febffcdc905b
  33:     0x7f88effd3428 - scoped_tls::ScopedKey<T>::set::h043f1d7ffbae0186
  34:     0x7f88effc105b - std::sys_common::backtrace::__rust_begin_short_backtrace::h42e5610ec37ca3bd
  35:     0x7f88effc0045 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6bf202d09cfdc8bc
  36:     0x7f88edd0b633 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h132ab4ac45190c0c
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/alloc/src/boxed.rs:1636:9
  37:     0x7f88edd0b633 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf5feeb35085fa69e
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/alloc/src/boxed.rs:1636:9
  38:     0x7f88edd0b633 - std::sys::unix::thread::Thread::new::thread_start::h21e4b7c982487240
                               at /rustc/5d6804469d80aaf26f98090ae016af45e267f58f/library/std/src/sys/unix/thread.rs:106:17
  39:     0x7f88edc14259 - start_thread
  40:     0x7f88edb295e3 - __GI___clone
  41:                0x0 - <unknown>

error: internal compiler error: unexpected panic

note: 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: rustc 1.56.0-nightly (5d6804469 2021-08-30) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z save-analysis

query stack during panic:
end of query stack
error: aborting due to previous error

[pvdrz]

I'm getting this error while compiling a crate using nightly (rustc 1.58.0-nightly (65f3f8b22 2021-11-21)) without any nightly features and with the -Z save-analysis flag on. The same crate compiles without issue in stable (rustc 1.56.1 (59eed8a2a 2021-11-01)) or without the flag.

thread 'rustc' panicked at '`SaveContext::typeck_results` called outside of body', compiler/rustc_save_analysis/src/lib.rs:522:23
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

error: internal compiler error: unexpected panic

note: 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: rustc 1.58.0-nightly (65f3f8b22 2021-11-21) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z save-analysis -C embed-bitcode=no -C debuginfo=2 -C incremental --crate-type lib

note: some of the compiler flags provided by cargo are hidden

query stack during panic:
end of query stack

I can provide the code of the crate but I'm not sure how to get a minimum example.

[pvdrz]

I managed to get a minimum example that doesn't use any nightly features:

pub struct Foo<const N: u8>;

pub type Bar = Foo<{ *(0u8..=0x45).end() }>;

fn main() {}

panics when compiled with: env RUSTFLAGS="-Z save-analysis" cargo +nightly build. It only happens if you define the alias type. If you try to use Foo<{ *(0u8..=0x45).end() }> directly inside main anywhere else, there is no panic.

[matthiaskrgr]

Another example (the test was added in #93691 ) :

struct X<const N: usize = {
    let s: &'static str; s.len()
    //~^ ERROR borrow of possibly-uninitialized variable
}>;

fn main() {}

rustc -Zsave-analysis --emit-mir ./src/test/ui/const-generics/const-generic-default-wont-borrowck.rs

error[E0381]: borrow of possibly-uninitialized variable: `s`
 --> ./src/test/ui/const-generics/const-generic-default-wont-borrowck.rs:2:26
  |
2 |     let s: &'static str; s.len()
  |                          ^^^^^^^ use of possibly-uninitialized `*s`

thread 'rustc' panicked at '`SaveContext::typeck_results` called outside of body', compiler/rustc_save_analysis/src/dump_visitor.rs:884:26
stack backtrace:
   0:     0x7f607bcc5b6c - std::backtrace_rs::backtrace::libunwind::trace::h7c6a0b6bbcfb15e0
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
   1:     0x7f607bcc5b6c - std::backtrace_rs::backtrace::trace_unsynchronized::h738fa839c025d88e
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x7f607bcc5b6c - std::sys_common::backtrace::_print_fmt::h4f98563e03fd77a0
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/sys_common/backtrace.rs:66:5
   3:     0x7f607bcc5b6c - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h4537eb61bdce6f6b
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/sys_common/backtrace.rs:45:22
   4:     0x7f607bd2724c - core::fmt::write::he1e8f14e90f89497
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/core/src/fmt/mod.rs:1190:17
   5:     0x7f607bcb5e98 - std::io::Write::write_fmt::ha9d438e87e29cf6e
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/io/mod.rs:1657:15
   6:     0x7f607bcc9ae7 - std::sys_common::backtrace::_print::h587a4663357bac6f
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/sys_common/backtrace.rs:48:5
   7:     0x7f607bcc9ae7 - std::sys_common::backtrace::print::h8dbaaebd1b6f9c35
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/sys_common/backtrace.rs:35:9
   8:     0x7f607bcc9ae7 - std::panicking::default_hook::{{closure}}::h11ab986bd24269f7
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/panicking.rs:295:22
   9:     0x7f607bcc97af - std::panicking::default_hook::h23b7cddda18cff14
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/panicking.rs:314:9
  10:     0x7f607c454a51 - rustc_driver[57ba6522360aaed]::DEFAULT_HOOK::{closure#0}::{closure#0}
  11:     0x7f607bcca3c5 - std::panicking::rust_panic_with_hook::heed66b7b6ebf7046
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/panicking.rs:702:17
  12:     0x7f607bcca077 - std::panicking::begin_panic_handler::{{closure}}::h4a817fb4518b6940
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/panicking.rs:588:13
  13:     0x7f607bcc6014 - std::sys_common::backtrace::__rust_end_short_backtrace::hcbda452eda268a56
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/sys_common/backtrace.rs:138:18
  14:     0x7f607bcc9d79 - rust_begin_unwind
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/panicking.rs:584:5
  15:     0x7f607bc91d03 - core::panicking::panic_fmt::h4d140668741c6a4f
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/core/src/panicking.rs:143:14
  16:     0x7f607bd24041 - core::panicking::panic_display::h5067549a28a2c8ee
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/core/src/panicking.rs:73:5
  17:     0x7f607bd23feb - core::panicking::panic_str::hd9e42391d8817dbd
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/core/src/panicking.rs:56:5
  18:     0x7f607bc91b76 - core::option::expect_failed::hbec3505e25f361c9
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/core/src/option.rs:1840:5
  19:     0x7f607c47cb30 - <rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor>::process_var_decl
  20:     0x7f607c483bf2 - <rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor as rustc_hir[7415ed71242d56dd]::intravisit::Visitor>::visit_local
  21:     0x7f607c467bb7 - rustc_hir[7415ed71242d56dd]::intravisit::walk_block::<rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor>
  22:     0x7f607c4845f5 - <rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor as rustc_hir[7415ed71242d56dd]::intravisit::Visitor>::visit_nested_body
  23:     0x7f607c481f4e - <rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor as rustc_hir[7415ed71242d56dd]::intravisit::Visitor>::visit_generics
  24:     0x7f607c47b4fb - <rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor>::process_generic_params
  25:     0x7f607c47f2b0 - <rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor as rustc_hir[7415ed71242d56dd]::intravisit::Visitor>::visit_item
  26:     0x7f607c484536 - <rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor as rustc_hir[7415ed71242d56dd]::intravisit::Visitor>::visit_nested_item
  27:     0x7f607c465817 - rustc_hir[7415ed71242d56dd]::intravisit::walk_mod::<rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor>
  28:     0x7f607c47cfad - <rustc_save_analysis[df44e3eec8415474]::dump_visitor::DumpVisitor>::process_crate
  29:     0x7f607c42e18c - <rustc_middle[f4e20aeb7daf39a5]::dep_graph::dep_node::DepKind as rustc_query_system[8761e2140374fac1]::dep_graph::DepKind>::with_deps::<rustc_save_analysis[df44e3eec8415474]::process_crate<rustc_save_analysis[df44e3eec8415474]::DumpHandler>::{closure#0}::{closure#0}, ()>
  30:     0x7f607c44f998 - <std[478b86191f7cb4e1]::thread::local::LocalKey<core[d8150d240427f197]::cell::Cell<bool>>>::with::<rustc_middle[f4e20aeb7daf39a5]::ty::print::pretty::with_no_trimmed_paths<rustc_save_analysis[df44e3eec8415474]::process_crate<rustc_save_analysis[df44e3eec8415474]::DumpHandler>::{closure#0}, ()>::{closure#0}, ()>
  31:     0x7f607c44fb7d - rustc_save_analysis[df44e3eec8415474]::process_crate::<rustc_save_analysis[df44e3eec8415474]::DumpHandler>
  32:     0x7f607c4242f5 - <rustc_session[575563c8b066c15a]::session::Session>::time::<(), rustc_driver[57ba6522360aaed]::run_compiler::{closure#1}::{closure#2}::{closure#3}::{closure#0}>
  33:     0x7f607e2d373b - <rustc_interface[d81b8f79c5ea87c1]::passes::QueryContext>::enter::<rustc_driver[57ba6522360aaed]::run_compiler::{closure#1}::{closure#2}::{closure#3}, core[d8150d240427f197]::result::Result<(), rustc_errors[85f8821eedd20cf3]::ErrorReported>>
  34:     0x7f607e2c1ad2 - rustc_interface[d81b8f79c5ea87c1]::interface::create_compiler_and_run::<core[d8150d240427f197]::result::Result<(), rustc_errors[85f8821eedd20cf3]::ErrorReported>, rustc_driver[57ba6522360aaed]::run_compiler::{closure#1}>
  35:     0x7f607e2a71f2 - std[478b86191f7cb4e1]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[d81b8f79c5ea87c1]::util::setup_callbacks_and_run_in_thread_pool_with_globals<rustc_interface[d81b8f79c5ea87c1]::interface::run_compiler<core[d8150d240427f197]::result::Result<(), rustc_errors[85f8821eedd20cf3]::ErrorReported>, rustc_driver[57ba6522360aaed]::run_compiler::{closure#1}>::{closure#0}, core[d8150d240427f197]::result::Result<(), rustc_errors[85f8821eedd20cf3]::ErrorReported>>::{closure#0}, core[d8150d240427f197]::result::Result<(), rustc_errors[85f8821eedd20cf3]::ErrorReported>>
  36:     0x7f607e2da309 - <<std[478b86191f7cb4e1]::thread::Builder>::spawn_unchecked_<rustc_interface[d81b8f79c5ea87c1]::util::setup_callbacks_and_run_in_thread_pool_with_globals<rustc_interface[d81b8f79c5ea87c1]::interface::run_compiler<core[d8150d240427f197]::result::Result<(), rustc_errors[85f8821eedd20cf3]::ErrorReported>, rustc_driver[57ba6522360aaed]::run_compiler::{closure#1}>::{closure#0}, core[d8150d240427f197]::result::Result<(), rustc_errors[85f8821eedd20cf3]::ErrorReported>>::{closure#0}, core[d8150d240427f197]::result::Result<(), rustc_errors[85f8821eedd20cf3]::ErrorReported>>::{closure#1} as core[d8150d240427f197]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  37:     0x7f607bcd5e13 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hbafd1e8df522f967
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/alloc/src/boxed.rs:1854:9
  38:     0x7f607bcd5e13 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h547d8dfcedefc79e
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/alloc/src/boxed.rs:1854:9
  39:     0x7f607bcd5e13 - std::sys::unix::thread::Thread::new::thread_start::h3722de690b04078c
                               at /rustc/5d8767cb229b097fedb1dd4bd9420d463c37774f/library/std/src/sys/unix/thread.rs:108:17
  40:     0x7f607bbdb259 - start_thread
  41:     0x7f607baf75e3 - __GI___clone
  42:                0x0 - <unknown>

error: internal compiler error: unexpected panic

note: 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: rustc 1.60.0-nightly (5d8767cb2 2022-02-12) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z save-analysis

query stack during panic:
end of query stack
error: aborting due to previous error

[shufps]

Happens also on 1.61.0

[jyn514]

Save-analysis has been removed from the compiler.