ICE: can't type-check body of DefId

This short snippet crashes the nightly compiler:

enum Foo {
    Bar(usize),
}

fn main() {
    let i = Foo::Bar;
    assert_eq!(Foo::Bar, i);
}

Crashes with:

error: internal compiler error: src/librustc_typeck/check/mod.rs:825: can't type-check body of DefId(0/1:10 ~ lib[317d]::Foo[0]::Bar[0]::{{constructor}}[0])
 --> src/lib.rs:2:3
  |
2 |   Bar(usize),
  |   ^^^^^^^^^^

thread 'rustc' panicked at 'Box<Any>', src/librustc_errors/lib.rs:570:9

rustc 1.35.0-nightly (70f1309 2019-04-16) running on x86_64-apple-darwin
Seems to work on stable on the playground (don't have stable locally).

Backtrace

env RUST_BACKTRACE=full cargo run
   Compiling foo v0.1.0 (/tmp/tmp.pzK1QddPz6/foo)
error: internal compiler error: src/librustc_typeck/check/mod.rs:825: can't type-check body of DefId(0/1:10 ~ foo[bcdd]::Foo[0]::Bar[0]::{{constructor}}[0])
 --> src/main.rs:2:5
  |
2 |     Bar(usize),
  |     ^^^^^^^^^^

thread 'rustc' panicked at 'Box<Any>', src/librustc_errors/lib.rs:570:9
stack backtrace:
   0:     0x7f7c2ec65dc3 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h2f2e88c6ec1c5c72
                               at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39
   1:     0x7f7c2ec5dc4b - std::sys_common::backtrace::_print::h944bf1840a0a0e67
                               at src/libstd/sys_common/backtrace.rs:71
   2:     0x7f7c2ec62026 - std::panicking::default_hook::{{closure}}::hf00b55dd98cf4c0b
                               at src/libstd/sys_common/backtrace.rs:59
                               at src/libstd/panicking.rs:197
   3:     0x7f7c2ec61db9 - std::panicking::default_hook::h91c25d81f72ffd4b
                               at src/libstd/panicking.rs:211
   4:     0x7f7c2c9e5d20 - rustc::util::common::panic_hook::h12a29cd81311b496
   5:     0x7f7c2ec62818 - std::panicking::rust_panic_with_hook::h38a6248b079915f7
                               at src/libstd/panicking.rs:478
   6:     0x7f7c2996675c - std::panicking::begin_panic::h2b120496cb278894
   7:     0x7f7c2994726c - rustc_errors::Handler::span_bug::h1dfe556f382bf234
   8:     0x7f7c299bf991 - rustc::util::bug::opt_span_bug_fmt::{{closure}}::hdeaab18a2ccdd1ad
   9:     0x7f7c299bd519 - rustc::ty::context::tls::with_opt::{{closure}}::h8d0a293f12fda0ca
  10:     0x7f7c299bd47f - rustc::ty::context::tls::with_context_opt::h3b769282f399b79c
  11:     0x7f7c299bd4c6 - rustc::ty::context::tls::with_opt::h7a4737f4d9acfaa2
  12:     0x7f7c299bf887 - rustc::util::bug::opt_span_bug_fmt::h8f055e82b5b0735e
  13:     0x7f7c299bf839 - rustc::util::bug::span_bug_fmt::hf655060d769a6592
  14:     0x7f7c29a52163 - rustc_typeck::check::typeck_tables_of::{{closure}}::he8925ed2486d8f56
  15:     0x7f7c29a520c0 - rustc_typeck::check::typeck_tables_of::he3395a732aef7759
  16:     0x7f7c299baebf - rustc::ty::query::__query_compute::typeck_tables_of::haa965cd0ae21dd19
  17:     0x7f7c29a7d7ac - rustc::ty::query::<impl rustc::ty::query::config::QueryAccessors for rustc::ty::query::queries::typeck_tables_of>::compute::h2f7328bafbd21c5e
  18:     0x7f7c29b447a8 - rustc::dep_graph::graph::DepGraph::with_task_impl::hbc64dfda2477aeea
  19:     0x7f7c29ab0f60 - rustc::ty::query::plumbing::<impl rustc::ty::context::TyCtxt>::get_query::h502ba2f7c6ccb035
  20:     0x7f7c29a4e9e4 - rustc_typeck::check::op::<impl rustc_typeck::check::FnCtxt>::add_type_neq_err_label::h83659d6437c45fc1
  21:     0x7f7c29a4dc25 - rustc_typeck::check::op::<impl rustc_typeck::check::FnCtxt>::check_overloaded_binop::h8321fcbf00750311
  22:     0x7f7c29a4cbfe - rustc_typeck::check::op::<impl rustc_typeck::check::FnCtxt>::check_binop::h61cac264c93b2652
  23:     0x7f7c29a659c1 - rustc_typeck::check::FnCtxt::check_expr_kind::h382693a1fca7cc44
  24:     0x7f7c29a65324 - rustc_typeck::check::FnCtxt::check_expr_with_expectation_and_needs::hd6c077a4b60cce19
  25:     0x7f7c29a6605f - rustc_typeck::check::FnCtxt::check_expr_kind::h382693a1fca7cc44
  26:     0x7f7c29a65324 - rustc_typeck::check::FnCtxt::check_expr_with_expectation_and_needs::hd6c077a4b60cce19
  27:     0x7f7c29a63d9b - rustc_typeck::check::FnCtxt::check_expr_meets_expectation_or_error::h7821bd5d4bbf06e6
  28:     0x7f7c29a66ab8 - rustc_typeck::check::FnCtxt::check_expr_kind::h382693a1fca7cc44
  29:     0x7f7c29a65324 - rustc_typeck::check::FnCtxt::check_expr_with_expectation_and_needs::hd6c077a4b60cce19
  30:     0x7f7c29a70604 - rustc_typeck::check::FnCtxt::check_block_with_expected::h2db4e51ec0d448a8
  31:     0x7f7c29a65e88 - rustc_typeck::check::FnCtxt::check_expr_kind::h382693a1fca7cc44
  32:     0x7f7c29a65324 - rustc_typeck::check::FnCtxt::check_expr_with_expectation_and_needs::hd6c077a4b60cce19
  33:     0x7f7c29a2d3d0 - rustc_typeck::check::_match::<impl rustc_typeck::check::FnCtxt>::check_match::hff8f57ec786d428a
  34:     0x7f7c29a66189 - rustc_typeck::check::FnCtxt::check_expr_kind::h382693a1fca7cc44
  35:     0x7f7c29a65324 - rustc_typeck::check::FnCtxt::check_expr_with_expectation_and_needs::hd6c077a4b60cce19
  36:     0x7f7c29a70604 - rustc_typeck::check::FnCtxt::check_block_with_expected::h2db4e51ec0d448a8
  37:     0x7f7c29a65e88 - rustc_typeck::check::FnCtxt::check_expr_kind::h382693a1fca7cc44
  38:     0x7f7c29a65324 - rustc_typeck::check::FnCtxt::check_expr_with_expectation_and_needs::hd6c077a4b60cce19
  39:     0x7f7c29a70123 - rustc_typeck::check::FnCtxt::check_stmt::hb59198c5ed0e7edc
  40:     0x7f7c29a705ca - rustc_typeck::check::FnCtxt::check_block_with_expected::h2db4e51ec0d448a8
  41:     0x7f7c29a65e88 - rustc_typeck::check::FnCtxt::check_expr_kind::h382693a1fca7cc44
  42:     0x7f7c29a65324 - rustc_typeck::check::FnCtxt::check_expr_with_expectation_and_needs::hd6c077a4b60cce19
  43:     0x7f7c29a643f9 - rustc_typeck::check::FnCtxt::check_return_expr::ha3439f1ad9d4f31f
  44:     0x7f7c29a53536 - rustc_typeck::check::check_fn::h6e1a464ddbe5dcfb
  45:     0x7f7c29afa838 - rustc::ty::context::GlobalCtxt::enter_local::hc2d03235e4a0576f
  46:     0x7f7c29a51fac - rustc_typeck::check::typeck_tables_of::he3395a732aef7759
  47:     0x7f7c299baebf - rustc::ty::query::__query_compute::typeck_tables_of::haa965cd0ae21dd19
  48:     0x7f7c29a7d7ac - rustc::ty::query::<impl rustc::ty::query::config::QueryAccessors for rustc::ty::query::queries::typeck_tables_of>::compute::h2f7328bafbd21c5e
  49:     0x7f7c29b447a8 - rustc::dep_graph::graph::DepGraph::with_task_impl::hbc64dfda2477aeea
  50:     0x7f7c29ab0f60 - rustc::ty::query::plumbing::<impl rustc::ty::context::TyCtxt>::get_query::h502ba2f7c6ccb035
  51:     0x7f7c29a7b1dc - rustc::ty::<impl rustc::ty::context::TyCtxt>::par_body_owners::hb36a144a1c2a7bdb
  52:     0x7f7c29a51a17 - rustc_typeck::check::typeck_item_bodies::h380acc11ea427f32
  53:     0x7f7c299bb369 - rustc::ty::query::__query_compute::typeck_item_bodies::he1753b4dbe75b961
  54:     0x7f7c29a7d888 - rustc::ty::query::<impl rustc::ty::query::config::QueryAccessors for rustc::ty::query::queries::typeck_item_bodies>::compute::hc1231572a88486d7
  55:     0x7f7c29b3cc7c - rustc::dep_graph::graph::DepGraph::with_task_impl::h57253e9998588a7b
  56:     0x7f7c29aabb4b - rustc::ty::query::plumbing::<impl rustc::ty::context::TyCtxt>::get_query::h4b243e4a6042aa09
  57:     0x7f7c29b2e9d8 - rustc::util::common::time::h156b034c4f46616d
  58:     0x7f7c29b7241e - rustc_typeck::check_crate::hf56ec03e7ab04612
  59:     0x7f7c2e6520e3 - rustc_interface::passes::analysis::hfb36b85add05e7ac
  60:     0x7f7c2ef2ab95 - rustc::ty::query::__query_compute::analysis::hbbd7cf219c941643
  61:     0x7f7c2ef71ee8 - rustc::ty::query::<impl rustc::ty::query::config::QueryAccessors for rustc::ty::query::queries::analysis>::compute::hc2d14f51c435b551
  62:     0x7f7c2ef4f972 - rustc::dep_graph::graph::DepGraph::with_task_impl::h7048f32b9e37fbb1
  63:     0x7f7c2ef72db1 - rustc::ty::query::plumbing::<impl rustc::ty::context::TyCtxt>::get_query::h9a66c6c41336316a
  64:     0x7f7c2ef2aea5 - rustc::ty::context::tls::enter_global::hab73e8d01597b9eb
  65:     0x7f7c2ef366b6 - rustc_interface::passes::BoxedGlobalCtxt::access::{{closure}}::h99c4ee2ef186de4c
  66:     0x7f7c2e6a67c4 - rustc_interface::passes::create_global_ctxt::{{closure}}::hf73126db9faf36f1
  67:     0x7f7c2ef3650e - rustc_interface::passes::BoxedGlobalCtxt::enter::hd110766f966ad8c2
  68:     0x7f7c2ef46093 - rustc_interface::interface::run_compiler_in_existing_thread_pool::h2b040aec050db1e5
  69:     0x7f7c2ef1bb83 - std::thread::local::LocalKey<T>::with::h99e20e81d5aa58b9
  70:     0x7f7c2ef7e4c4 - scoped_tls::ScopedKey<T>::set::hce855187a6e6eca8
  71:     0x7f7c2efb2b2f - syntax::with_globals::hae2cf851d88da20b
  72:     0x7f7c2ef1d31c - std::sys_common::backtrace::__rust_begin_short_backtrace::h35adf960dc57fe78
  73:     0x7f7c2ec735e9 - __rust_maybe_catch_panic
                               at src/libpanic_unwind/lib.rs:85
  74:     0x7f7c2ef37728 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1c87f9921616cd42
  75:     0x7f7c2ec446fe - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h1d75a25d0df78a83
                               at /rustc/aa99abeb262307d5e9aa11a792312fd620b7f89a/src/liballoc/boxed.rs:704
  76:     0x7f7c2ec7225f - std::sys::unix::thread::Thread::new::thread_start::h447e6585d0cd6312
                               at /rustc/aa99abeb262307d5e9aa11a792312fd620b7f89a/src/liballoc/boxed.rs:704
                               at src/libstd/sys_common/thread.rs:13
                               at src/libstd/sys/unix/thread.rs:79
  77:     0x7f7c2ebb3181 - start_thread
  78:     0x7f7c2eac9b1e - __clone
  79:                0x0 - <unknown>
query stack during panic:
#0 [typeck_tables_of] processing `Foo::Bar`
#1 [typeck_tables_of] processing `main`
#2 [typeck_item_bodies] type-checking all item bodies
#3 [analysis] running analysis passes on this crate
end of query stack
error: aborting due to previous error


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

note: we would appreciate a bug report: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#bug-reports

note: rustc 1.35.0-nightly (aa99abeb2 2019-04-14) running on x86_64-unknown-linux-gnu

note: compiler flags: -C debuginfo=2 -C incremental --crate-type bin

@rchaser53

Bug was introduced between e4c66af...aa99abe (2019-04-13 and 2019-04-014)

Bisecting shows that 464473a created the regression. CC #59798 @rchaser53

Sorry, I will try to fix it.
I will send the PR to fix this issue after 1-2h.

triage: P-high. (Unnominating since there doesn't seem to be much else to discuss)

Auto merge of #60073 - rchaser53:issue-60049, r=estebank

Navigation Menu

Repository navigation

ICE: can't type-check body of DefId #60049

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

ICE: can't type-check body of DefId #60049

Description

Activity

hellow554 commented on Apr 18, 2019

hellow554 commented on Apr 18, 2019

rchaser53 commented on Apr 18, 2019

pnkfelix commented on Apr 18, 2019

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions