Comments (2)
smaller:
#![feature(generic_const_exprs)]
pub struct A<const z: [usize; x]> {}
impl A<2> {
pub const fn B() {}
}
impl A<2> {
pub const fn B() {}
}
from rust.
updated stacktrace:
thread 'rustc' panicked at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/compiler/rustc_next_trait_solver/src/canonicalizer.rs:67:9:
unexpected infer in QueryInput { goal: Goal { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing }, predicate: Binder { value: NormalizesTo(AliasTerm { args: [], def_id: DefId(0:7 ~ 125556[b46a]::{impl#0}::{constant#0}) }, Term::Const(^1_0: [usize; ?1c: usize])), bound_vars: [] } }, predefined_opaques_in_body: PredefinedOpaques(PredefinedOpaquesData { opaque_types: [] }) }
stack backtrace:
0: 0x7dbe3d5ffae5 - std::backtrace_rs::backtrace::libunwind::trace::h8e3ec5065424d28b
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
1: 0x7dbe3d5ffae5 - std::backtrace_rs::backtrace::trace_unsynchronized::h882cf49e59475dbc
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x7dbe3d5ffae5 - std::sys_common::backtrace::_print_fmt::h2c337a2c4b83dc01
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/sys_common/backtrace.rs:68:5
3: 0x7dbe3d5ffae5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h5fad958b7140a660
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/sys_common/backtrace.rs:44:22
4: 0x7dbe3d6505db - core::fmt::rt::Argument::fmt::h9f1efa968e340ff7
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/core/src/fmt/rt.rs:165:63
5: 0x7dbe3d6505db - core::fmt::write::hc4341e028d4aa04e
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/core/src/fmt/mod.rs:1168:21
6: 0x7dbe3d5f486f - std::io::Write::write_fmt::hf3dd4197197b5730
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/io/mod.rs:1835:15
7: 0x7dbe3d5ff8be - std::sys_common::backtrace::_print::hee589e8f95e333af
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/sys_common/backtrace.rs:47:5
8: 0x7dbe3d5ff8be - std::sys_common::backtrace::print::hc6a85e053c1c7334
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/sys_common/backtrace.rs:34:9
9: 0x7dbe3d6022e9 - std::panicking::default_hook::{{closure}}::he62a1676f96fee54
10: 0x7dbe3d60208a - std::panicking::default_hook::h2ceb904f12dea8be
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/panicking.rs:298:9
11: 0x7dbe39f8e6a0 - std[d6c1f98fb4e95ff7]::panicking::update_hook::<alloc[78b6f7e6bd40c475]::boxed::Box<rustc_driver_impl[c511ea10b869fcf7]::install_ice_hook::{closure#0}>>::{closure#0}
12: 0x7dbe3d602a1b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hc5b72f85a4688529
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/alloc/src/boxed.rs:2077:9
13: 0x7dbe3d602a1b - std::panicking::rust_panic_with_hook::h0a690364d46daaac
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/panicking.rs:799:13
14: 0x7dbe3d602794 - std::panicking::begin_panic_handler::{{closure}}::h9c10c03249dd0030
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/panicking.rs:664:13
15: 0x7dbe3d5fffa9 - std::sys_common::backtrace::__rust_end_short_backtrace::h599802efea5774a9
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/sys_common/backtrace.rs:171:18
16: 0x7dbe3d6024c7 - rust_begin_unwind
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/panicking.rs:652:5
17: 0x7dbe3d64cb73 - core::panicking::panic_fmt::h16f8f3f4aae78ff5
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/core/src/panicking.rs:72:14
18: 0x7dbe3c11a183 - <rustc_trait_selection[48403c12d20ee1be]::solve::eval_ctxt::EvalCtxt<rustc_infer[49f51fa3600332dc]::infer::InferCtxt, rustc_middle[b8101328ceeb956a]::ty::context::TyCtxt>>::evaluate_goal_raw
19: 0x7dbe3c11e1b3 - <rustc_trait_selection[48403c12d20ee1be]::solve::eval_ctxt::EvalCtxt<rustc_infer[49f51fa3600332dc]::infer::InferCtxt, rustc_middle[b8101328ceeb956a]::ty::context::TyCtxt>>::try_evaluate_added_goals
20: 0x7dbe3c124082 - <rustc_trait_selection[48403c12d20ee1be]::solve::search_graph::SearchGraph<rustc_middle[b8101328ceeb956a]::ty::context::TyCtxt>>::with_new_goal::<<rustc_trait_selection[48403c12d20ee1be]::solve::eval_ctxt::EvalCtxt<rustc_infer[49f51fa3600332dc]::infer::InferCtxt, rustc_middle[b8101328ceeb956a]::ty::context::TyCtxt>>::evaluate_canonical_goal::{closure#0}::{closure#0}::{closure#0}>::{closure#2}
21: 0x7dbe3c11fec6 - <rustc_trait_selection[48403c12d20ee1be]::solve::search_graph::SearchGraph<rustc_middle[b8101328ceeb956a]::ty::context::TyCtxt>>::with_new_goal::<<rustc_trait_selection[48403c12d20ee1be]::solve::eval_ctxt::EvalCtxt<rustc_infer[49f51fa3600332dc]::infer::InferCtxt, rustc_middle[b8101328ceeb956a]::ty::context::TyCtxt>>::evaluate_canonical_goal::{closure#0}::{closure#0}::{closure#0}>
22: 0x7dbe3c119084 - <rustc_trait_selection[48403c12d20ee1be]::solve::eval_ctxt::EvalCtxt<rustc_infer[49f51fa3600332dc]::infer::InferCtxt, rustc_middle[b8101328ceeb956a]::ty::context::TyCtxt>>::evaluate_goal_raw
23: 0x7dbe3c118391 - <rustc_infer[49f51fa3600332dc]::infer::InferCtxt as rustc_trait_selection[48403c12d20ee1be]::solve::eval_ctxt::InferCtxtEvalExt>::evaluate_root_goal
24: 0x7dbe3c117ce0 - <rustc_trait_selection[48403c12d20ee1be]::solve::fulfill::FulfillmentCtxt as rustc_infer[49f51fa3600332dc]::traits::engine::TraitEngine>::select_where_possible
25: 0x7dbe3b6d8976 - <rustc_trait_selection[48403c12d20ee1be]::traits::engine::ObligationCtxt>::select_all_or_error
26: 0x7dbe3b7f8007 - rustc_trait_selection[48403c12d20ee1be]::traits::coherence::overlap
27: 0x7dbe3c4223f8 - rustc_trait_selection[48403c12d20ee1be]::traits::coherence::overlapping_impls
28: 0x7dbe3c4217f9 - <rustc_hir_analysis[4a9f7cb3dd37a3dc]::coherence::inherent_impls_overlap::InherentOverlapChecker>::check_for_overlapping_inherent_impls
29: 0x7dbe3ba302b5 - rustc_hir_analysis[4a9f7cb3dd37a3dc]::coherence::inherent_impls_overlap::crate_inherent_impls_overlap_check
30: 0x7dbe3ba2fb97 - rustc_query_impl[a43b8a3fae63a645]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[a43b8a3fae63a645]::query_impl::crate_inherent_impls_overlap_check::dynamic_query::{closure#2}::{closure#0}, rustc_middle[b8101328ceeb956a]::query::erase::Erased<[u8; 1usize]>>
31: 0x7dbe3c19c225 - rustc_query_system[ef4de90281b6d444]::query::plumbing::try_execute_query::<rustc_query_impl[a43b8a3fae63a645]::DynamicConfig<rustc_query_system[ef4de90281b6d444]::query::caches::SingleCache<rustc_middle[b8101328ceeb956a]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[a43b8a3fae63a645]::plumbing::QueryCtxt, false>
32: 0x7dbe3c19c00f - rustc_query_impl[a43b8a3fae63a645]::query_impl::crate_inherent_impls_overlap_check::get_query_non_incr::__rust_end_short_backtrace
33: 0x7dbe3b5bf07b - rustc_hir_analysis[4a9f7cb3dd37a3dc]::check_crate
34: 0x7dbe3bd683fe - rustc_interface[3320d9bec8b3433a]::passes::analysis
35: 0x7dbe3bd67f5b - rustc_query_impl[a43b8a3fae63a645]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[a43b8a3fae63a645]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[b8101328ceeb956a]::query::erase::Erased<[u8; 1usize]>>
36: 0x7dbe3c19c225 - rustc_query_system[ef4de90281b6d444]::query::plumbing::try_execute_query::<rustc_query_impl[a43b8a3fae63a645]::DynamicConfig<rustc_query_system[ef4de90281b6d444]::query::caches::SingleCache<rustc_middle[b8101328ceeb956a]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[a43b8a3fae63a645]::plumbing::QueryCtxt, false>
37: 0x7dbe3c19bf8f - rustc_query_impl[a43b8a3fae63a645]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
38: 0x7dbe3bff9f5c - rustc_interface[3320d9bec8b3433a]::interface::run_compiler::<core[5e8023d66ded8339]::result::Result<(), rustc_span[8ae10af61471f323]::ErrorGuaranteed>, rustc_driver_impl[c511ea10b869fcf7]::run_compiler::{closure#0}>::{closure#1}
39: 0x7dbe3bfc0609 - std[d6c1f98fb4e95ff7]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[3320d9bec8b3433a]::util::run_in_thread_with_globals<rustc_interface[3320d9bec8b3433a]::util::run_in_thread_pool_with_globals<rustc_interface[3320d9bec8b3433a]::interface::run_compiler<core[5e8023d66ded8339]::result::Result<(), rustc_span[8ae10af61471f323]::ErrorGuaranteed>, rustc_driver_impl[c511ea10b869fcf7]::run_compiler::{closure#0}>::{closure#1}, core[5e8023d66ded8339]::result::Result<(), rustc_span[8ae10af61471f323]::ErrorGuaranteed>>::{closure#0}, core[5e8023d66ded8339]::result::Result<(), rustc_span[8ae10af61471f323]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[5e8023d66ded8339]::result::Result<(), rustc_span[8ae10af61471f323]::ErrorGuaranteed>>
40: 0x7dbe3bfc03b2 - <<std[d6c1f98fb4e95ff7]::thread::Builder>::spawn_unchecked_<rustc_interface[3320d9bec8b3433a]::util::run_in_thread_with_globals<rustc_interface[3320d9bec8b3433a]::util::run_in_thread_pool_with_globals<rustc_interface[3320d9bec8b3433a]::interface::run_compiler<core[5e8023d66ded8339]::result::Result<(), rustc_span[8ae10af61471f323]::ErrorGuaranteed>, rustc_driver_impl[c511ea10b869fcf7]::run_compiler::{closure#0}>::{closure#1}, core[5e8023d66ded8339]::result::Result<(), rustc_span[8ae10af61471f323]::ErrorGuaranteed>>::{closure#0}, core[5e8023d66ded8339]::result::Result<(), rustc_span[8ae10af61471f323]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[5e8023d66ded8339]::result::Result<(), rustc_span[8ae10af61471f323]::ErrorGuaranteed>>::{closure#2} as core[5e8023d66ded8339]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
41: 0x7dbe3d60c9eb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::ha3f12f701ab217ba
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/alloc/src/boxed.rs:2063:9
42: 0x7dbe3d60c9eb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hbabc732018734ba3
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/alloc/src/boxed.rs:2063:9
43: 0x7dbe3d60c9eb - std::sys::pal::unix::thread::Thread::new::thread_start::h25b845304e0b166b
at /rustc/7717a306b2678ba9ece19b723c76a6b3a89ba931/library/std/src/sys/pal/unix/thread.rs:108:17
44: 0x7dbe36a94ac3 - start_thread
at ./nptl/pthread_create.c:442:8
45: 0x7dbe36b26850 - __GI___clone3
at ./misc/../sysdeps/unix/sysv/linux/x86_64/clone3.S:81
46: 0x0 - <unknown>
error: 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: please make sure that you have updated to the latest nightly
note: please attach the file at `/home/gh-matthiaskrgr/vcs/github/rust_icemaker/rustc-ice-2024-05-28T16_58_51-2140353.txt` to your bug report
note: compiler flags: -Z next-solver=coherence
query stack during panic:
#0 [crate_inherent_impls_overlap_check] check for overlap between inherent impls defined in this crate
#1 [analysis] running analysis passes on this crate
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`.
from rust.
Related Issues (20)
- ICE: `assertion left == right failed` in `rustc_const_eval/src/interpret/cast.rs unsize_into` HOT 3
- Regression from new lint `out_of_scope_macro_calls` HOT 4
- rustdoc: panic when using `macro@` and `!` for referencing a macro in documentation HOT 1
- If-else type checking fails with trait method calls and closures HOT 5
- Lots of testsuite failures on powerpc-unknown-linux-gnu after #118709 HOT 4
- Taking reference to function gets optimized to be 0x1 HOT 5
- document args for `-Zbuild-std` when folks aren't building everything HOT 5
- Well-formedness analysis pass on trait impl paniced HOT 2
- Unnecessary move in trait object comparison HOT 1
- Type inference complains about unknown size for `dyn Any` HOT 3
- ICE(non_lifetime_binders): const bound params not handled correctly HOT 3
- diagnostics should prefer naming items through the extern prelude instead of doc-hidden type aliases
- async lambda with capture ICE HOT 4
- std::net::TcpStream::connect_timeout on vxworks HOT 4
- async lambda fails to copy a value that is Copy HOT 12
- nightly ICE when building flexstr in release mode HOT 6
- `hir::Body`'s documentation incorrectly suggests it doesn't contain parmaeter info for closures
- error: internal compiler error: compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs:486:17: cannot relate region: LUB('{erased}, '{erased}) HOT 12
- Help needed finding a test that changes behaviour when changing DefiningOpaqueTypes::No to Yes HOT 1
- Binary size creep on Fuchsia after commit 5ced3da HOT 6
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from rust.