Closed
Description
Code
Unfortunately I'm unable to reduce the testcase, but you can run it by opening https://github.com/Manishearth/icu4x/tree/ice-trimmed-def-paths. and from the components/properties
directory, running cargo test --doc ascii_hex_digit
. This code is in the midst of a refactor so most of the other tests will not pass.
I suspect it has to do with the complicated trait stuff going on in provider.rs interacting with the docs.rs/yoke crate (cc @jackh726 @eddyb) but I'm not sure.
Meta
Bug occurs on 1.60 stable and current nightly.
rustc --version --verbose
:
$ rustc +nightly --version --verbose
rustc 1.62.0-nightly (311e2683e 2022-04-18)
binary: rustc
commit-hash: 311e2683e1bad87715b1558f7900e294d24ce491
commit-date: 2022-04-18
host: x86_64-unknown-linux-gnu
release: 1.62.0-nightly
LLVM version: 14.0.1
Error output
thread 'rustc' panicked at 'assertion failed: !new_self_ty.has_escaping_bound_vars()', compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs:1959:9
...
#0 [typeck] type-checking `main::_doctest_main_src_sets_rs_67_0`
#1 [typeck_item_bodies] type-checking all item bodies
#2 [analysis] running analysis passes on this crate
error: internal compiler error: no warnings or errors encountered even though `delayed_good_path_bugs` issued
error: internal compiler error: trimmed_def_paths constructed
Backtrace
---- src/sets.rs - sets::get_ascii_hex_digit (line 67) stdout ----
thread 'rustc' panicked at 'assertion failed: !new_self_ty.has_escaping_bound_vars()', compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs:1959:9
stack backtrace:
0: 0x7f849eae182d - std::backtrace_rs::backtrace::libunwind::trace::h9d7060c592fe8069
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
1: 0x7f849eae182d - std::backtrace_rs::backtrace::trace_unsynchronized::hde51808b1556e5d1
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x7f849eae182d - std::sys_common::backtrace::_print_fmt::hd954a2d1cd9fdbd5
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/sys_common/backtrace.rs:66:5
3: 0x7f849eae182d - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h6271b22d4e4423c8
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/sys_common/backtrace.rs:45:22
4: 0x7f849eb3cecc - core::fmt::write::heb1c2a4e59b134a9
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/core/src/fmt/mod.rs:1194:17
5: 0x7f849ead3011 - std::io::Write::write_fmt::h6652729f1feeae87
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/io/mod.rs:1655:15
6: 0x7f849eae4545 - std::sys_common::backtrace::_print::ha9ae153024491f3f
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/sys_common/backtrace.rs:48:5
7: 0x7f849eae4545 - std::sys_common::backtrace::print::h110c021885084d6a
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/sys_common/backtrace.rs:35:9
8: 0x7f849eae4545 - std::panicking::default_hook::{{closure}}::h68d23f0b88a08886
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/panicking.rs:295:22
9: 0x7f849eae41b9 - std::panicking::default_hook::h2e20223d1536191d
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/panicking.rs:314:9
10: 0x7f849f286731 - rustc_driver[46ea51695bd673e5]::DEFAULT_HOOK::{closure#0}::{closure#0}
11: 0x7f849eae4d16 - std::panicking::rust_panic_with_hook::hfe1e95a000a88a64
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/panicking.rs:702:17
12: 0x7f849eae4ad9 - std::panicking::begin_panic_handler::{{closure}}::h04cf82910c0a653e
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/panicking.rs:586:13
13: 0x7f849eae1ce4 - std::sys_common::backtrace::__rust_end_short_backtrace::h187f35deeb28abc2
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/sys_common/backtrace.rs:138:18
14: 0x7f849eae4849 - rust_begin_unwind
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/panicking.rs:584:5
15: 0x7f849eaa9ba3 - core::panicking::panic_fmt::h70547f234f37fa30
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/core/src/panicking.rs:142:14
16: 0x7f849eaa9a6d - core::panicking::panic::hb8b030a543bc41a9
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/core/src/panicking.rs:48:5
17: 0x7f84a00ea5d5 - <rustc_infer[a51b2704175fce84]::infer::InferCtxt as rustc_trait_selection[69015c12cf27210f]::traits::error_reporting::InferCtxtPrivExt>::mk_trait_obligation_with_new_self_ty
18: 0x7f84a00ce857 - <rustc_infer[a51b2704175fce84]::infer::InferCtxt as rustc_trait_selection[69015c12cf27210f]::traits::error_reporting::suggestions::InferCtxtExt>::suggest_add_reference_to_arg::{closure#1}
19: 0x7f84a00ce605 - <rustc_infer[a51b2704175fce84]::infer::InferCtxt as rustc_trait_selection[69015c12cf27210f]::traits::error_reporting::suggestions::InferCtxtExt>::suggest_add_reference_to_arg
20: 0x7f84a00e4200 - <rustc_infer[a51b2704175fce84]::infer::InferCtxt as rustc_trait_selection[69015c12cf27210f]::traits::error_reporting::InferCtxtExt>::report_selection_error
21: 0x7f84a00ec751 - <rustc_infer[a51b2704175fce84]::infer::InferCtxt as rustc_trait_selection[69015c12cf27210f]::traits::error_reporting::InferCtxtPrivExt>::report_fulfillment_error
22: 0x7f84a00e0ac7 - <rustc_infer[a51b2704175fce84]::infer::InferCtxt as rustc_trait_selection[69015c12cf27210f]::traits::error_reporting::InferCtxtExt>::report_fulfillment_errors
23: 0x7f84a0712792 - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_argument_types
24: 0x7f84a06f7f6e - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::confirm_builtin_call
25: 0x7f84a06f4438 - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_call
26: 0x7f84a074a18d - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_expr_kind
27: 0x7f84a0748fc0 - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_expr_with_expectation
28: 0x7f84a074a305 - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_expr_kind
29: 0x7f84a0748fc0 - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_expr_with_expectation
30: 0x7f84a0737439 - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_stmt
31: 0x7f84a0738c42 - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_block_with_expected
32: 0x7f84a074a2b3 - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_expr_kind
33: 0x7f84a0748fc0 - <rustc_typeck[1bd8200d7af772bc]::check::fn_ctxt::FnCtxt>::check_expr_with_expectation
34: 0x7f84a08622d6 - rustc_typeck[1bd8200d7af772bc]::check::check::check_fn
35: 0x7f84a07c2140 - <rustc_infer[a51b2704175fce84]::infer::InferCtxtBuilder>::enter::<&rustc_middle[4038938c89644caa]::ty::context::TypeckResults, <rustc_typeck[1bd8200d7af772bc]::check::inherited::InheritedBuilder>::enter<rustc_typeck[1bd8200d7af772bc]::check::typeck_with_fallback<rustc_typeck[1bd8200d7af772bc]::check::typeck::{closure#0}>::{closure#1}, &rustc_middle[4038938c89644caa]::ty::context::TypeckResults>::{closure#0}>
36: 0x7f84a0794f00 - rustc_typeck[1bd8200d7af772bc]::check::typeck
37: 0x7f84a0ca9390 - rustc_query_system[103384a90f76de31]::query::plumbing::try_execute_query::<rustc_query_impl[8b18bc69f52059fc]::plumbing::QueryCtxt, rustc_query_system[103384a90f76de31]::query::caches::DefaultCache<rustc_span[8638436c65ab17fb]::def_id::LocalDefId, &rustc_middle[4038938c89644caa]::ty::context::TypeckResults>>
38: 0x7f84a0dadb08 - <rustc_query_impl[8b18bc69f52059fc]::Queries as rustc_middle[4038938c89644caa]::ty::query::QueryEngine>::typeck
39: 0x7f84a0846c18 - <rustc_middle[4038938c89644caa]::hir::map::Map>::par_body_owners::<rustc_typeck[1bd8200d7af772bc]::check::typeck_item_bodies::{closure#0}>
40: 0x7f84a156123c - rustc_typeck[1bd8200d7af772bc]::check::typeck_item_bodies
41: 0x7f84a17b5c92 - rustc_query_system[103384a90f76de31]::query::plumbing::try_execute_query::<rustc_query_impl[8b18bc69f52059fc]::plumbing::QueryCtxt, rustc_query_system[103384a90f76de31]::query::caches::DefaultCache<(), ()>>
42: 0x7f84a17dd4a1 - rustc_query_system[103384a90f76de31]::query::plumbing::get_query::<rustc_query_impl[8b18bc69f52059fc]::queries::typeck_item_bodies, rustc_query_impl[8b18bc69f52059fc]::plumbing::QueryCtxt>
43: 0x7f84a15702f3 - <rustc_session[5849b3ac9fc37c68]::session::Session>::time::<(), rustc_typeck[1bd8200d7af772bc]::check_crate::{closure#7}>
44: 0x7f84a156de93 - rustc_typeck[1bd8200d7af772bc]::check_crate
45: 0x7f84a12ee477 - rustc_interface[668261b8f47f72c0]::passes::analysis
46: 0x7f84a17abdc4 - rustc_query_system[103384a90f76de31]::query::plumbing::try_execute_query::<rustc_query_impl[8b18bc69f52059fc]::plumbing::QueryCtxt, rustc_query_system[103384a90f76de31]::query::caches::DefaultCache<(), core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>>>
47: 0x7f84a17ed24e - rustc_query_system[103384a90f76de31]::query::plumbing::get_query::<rustc_query_impl[8b18bc69f52059fc]::queries::analysis, rustc_query_impl[8b18bc69f52059fc]::plumbing::QueryCtxt>
48: 0x7f84a12cbaf7 - <rustc_interface[668261b8f47f72c0]::passes::QueryContext>::enter::<rustc_driver[46ea51695bd673e5]::run_compiler::{closure#1}::{closure#2}::{closure#3}, core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>>
49: 0x7f84a12b7078 - <rustc_interface[668261b8f47f72c0]::interface::Compiler>::enter::<rustc_driver[46ea51695bd673e5]::run_compiler::{closure#1}::{closure#2}, core[2fe9dabce7a4eee7]::result::Result<core[2fe9dabce7a4eee7]::option::Option<rustc_interface[668261b8f47f72c0]::queries::Linker>, rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>>
50: 0x7f84a12dfe3f - rustc_span[8638436c65ab17fb]::with_source_map::<core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>, rustc_interface[668261b8f47f72c0]::interface::create_compiler_and_run<core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>, rustc_driver[46ea51695bd673e5]::run_compiler::{closure#1}>::{closure#1}>
51: 0x7f84a12b7c97 - <scoped_tls[b360d135f6f091a9]::ScopedKey<rustc_span[8638436c65ab17fb]::SessionGlobals>>::set::<rustc_interface[668261b8f47f72c0]::interface::run_compiler<core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>, rustc_driver[46ea51695bd673e5]::run_compiler::{closure#1}>::{closure#0}, core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>>
52: 0x7f84a12cd1df - std[4fdfe6e28689bcfc]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[668261b8f47f72c0]::util::run_in_thread_pool_with_globals<rustc_interface[668261b8f47f72c0]::interface::run_compiler<core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>, rustc_driver[46ea51695bd673e5]::run_compiler::{closure#1}>::{closure#0}, core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>>::{closure#0}, core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>>
53: 0x7f84a12cd329 - <<std[4fdfe6e28689bcfc]::thread::Builder>::spawn_unchecked_<rustc_interface[668261b8f47f72c0]::util::run_in_thread_pool_with_globals<rustc_interface[668261b8f47f72c0]::interface::run_compiler<core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>, rustc_driver[46ea51695bd673e5]::run_compiler::{closure#1}>::{closure#0}, core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>>::{closure#0}, core[2fe9dabce7a4eee7]::result::Result<(), rustc_errors[87e4665ca07ec85e]::ErrorGuaranteed>>::{closure#1} as core[2fe9dabce7a4eee7]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
54: 0x7f849eaeebc3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6caff75e9500dfec
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/alloc/src/boxed.rs:1866:9
55: 0x7f849eaeebc3 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hfcb7dd749eba4870
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/alloc/src/boxed.rs:1866:9
56: 0x7f849eaeebc3 - std::sys::unix::thread::Thread::new::thread_start::h865210c19e650802
at /rustc/311e2683e1bad87715b1558f7900e294d24ce491/library/std/src/sys/unix/thread.rs:108:17
57: 0x7f849ea0fd80 - start_thread
58: 0x7f849e91e76f - clone
59: 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.62.0-nightly (311e2683e 2022-04-18) running on x86_64-unknown-linux-gnu
note: compiler flags: --crate-type bin -C codegen-units=1 -C embed-bitcode=no
query stack during panic:
#0 [typeck] type-checking `main::_doctest_main_src_sets_rs_67_0`
#1 [typeck_item_bodies] type-checking all item bodies
#2 [analysis] running analysis passes on this crate
end of query stack
error: internal compiler error: no warnings or errors encountered even though `delayed_good_path_bugs` issued
error: internal compiler error: trimmed_def_paths constructed
Metadata
Metadata
Assignees
Labels
Category: This is a bug.Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Relevant to the compiler team, which will review and decide on the PR/issue.ICE tracked in rust-lang/glacier.