1
0
Fork 0
forked from koniifer/ableos

some stuff

This commit is contained in:
mlokr 2024-07-08 10:13:50 +02:00
parent e5231e4acd
commit 535a871855
12 changed files with 673 additions and 52 deletions

View file

@ -1,24 +1,19 @@
#![feature(vec_pop_if)] #![feature(
#![feature(get_many_mut)] let_chains,
#![feature(core_intrinsics)] if_let_guard,
#![feature(new_uninit)] macro_metavar_expr,
#![feature(anonymous_lifetime_in_impl_trait)] anonymous_lifetime_in_impl_trait,
#![feature(inline_const_pat)] core_intrinsics,
#![feature(pattern)] new_uninit,
#![feature(never_type)] never_type,
#![feature(unwrap_infallible)] unwrap_infallible,
#![feature(if_let_guard)] slice_partition_dedup,
#![feature(slice_partition_dedup)] portable_simd,
#![feature(noop_waker)] iter_collect_into,
#![feature(portable_simd)] ptr_metadata,
#![feature(iter_collect_into)] slice_ptr_get
#![feature(macro_metavar_expr)] )]
#![feature(let_chains)] #![allow(internal_features, clippy::format_collect)]
#![feature(ptr_metadata)]
#![feature(const_mut_refs)]
#![feature(slice_ptr_get)]
#![allow(internal_features)]
#![allow(clippy::format_collect)]
use { use {
parser::Ast, parser::Ast,
@ -217,7 +212,7 @@ impl<T> TaskQueueInner<T> {
} }
} }
pub fn parse_from_fs(threads: usize, root: &str) -> io::Result<Vec<Ast>> { pub fn parse_from_fs(extra_threads: usize, root: &str) -> io::Result<Vec<Ast>> {
const GIT_DEPS_DIR: &str = "git-deps"; const GIT_DEPS_DIR: &str = "git-deps";
enum Chk<'a> { enum Chk<'a> {
@ -227,7 +222,6 @@ pub fn parse_from_fs(threads: usize, root: &str) -> io::Result<Vec<Ast>> {
} }
enum ImportPath<'a> { enum ImportPath<'a> {
Root { path: &'a str },
Rel { path: &'a str }, Rel { path: &'a str },
Git { link: &'a str, path: &'a str, chk: Option<Chk<'a>> }, Git { link: &'a str, path: &'a str, chk: Option<Chk<'a>> },
} }
@ -239,8 +233,7 @@ pub fn parse_from_fs(threads: usize, root: &str) -> io::Result<Vec<Ast>> {
let (prefix, path) = value.split_once(':').unwrap_or(("", value)); let (prefix, path) = value.split_once(':').unwrap_or(("", value));
match prefix { match prefix {
"" => Ok(Self::Root { path }), "rel" | "" => Ok(Self::Rel { path }),
"rel" => Ok(Self::Rel { path }),
"git" => { "git" => {
let (link, path) = let (link, path) =
path.split_once(':').ok_or(ParseImportError::ExpectedPath)?; path.split_once(':').ok_or(ParseImportError::ExpectedPath)?;
@ -266,24 +259,22 @@ pub fn parse_from_fs(threads: usize, root: &str) -> io::Result<Vec<Ast>> {
} }
impl<'a> ImportPath<'a> { impl<'a> ImportPath<'a> {
fn resolve(&self, from: &str, root: &str) -> Result<PathBuf, CantLoadFile> { fn resolve(&self, from: &str) -> Result<PathBuf, CantLoadFile> {
let path = match self { let path = match self {
Self::Root { path } => { Self::Rel { path } => match Path::new(from).parent() {
PathBuf::from_iter([Path::new(root).parent().unwrap(), Path::new(path)]) Some(parent) => PathBuf::from_iter([parent, Path::new(path)]),
} None => PathBuf::from(path),
Self::Rel { path } => { },
PathBuf::from_iter([Path::new(from).parent().unwrap(), Path::new(path)])
}
Self::Git { path, link, .. } => { Self::Git { path, link, .. } => {
let link = preprocess_git(link); let link = preprocess_git(link);
PathBuf::from_iter([GIT_DEPS_DIR, link, path]) PathBuf::from_iter([GIT_DEPS_DIR, link, path])
} }
}; };
path.canonicalize().map_err(|e| CantLoadFile {
file_name: path, path.canonicalize().map_err(|source| CantLoadFile {
directory: PathBuf::from(root), path,
from: PathBuf::from(from), from: PathBuf::from(from),
source: e, source,
}) })
} }
} }
@ -315,21 +306,14 @@ pub fn parse_from_fs(threads: usize, root: &str) -> io::Result<Vec<Ast>> {
#[derive(Debug)] #[derive(Debug)]
struct CantLoadFile { struct CantLoadFile {
file_name: PathBuf, path: PathBuf,
directory: PathBuf,
from: PathBuf, from: PathBuf,
source: io::Error, source: io::Error,
} }
impl std::fmt::Display for CantLoadFile { impl std::fmt::Display for CantLoadFile {
fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result { fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
write!( write!(f, "can't load file: {} (from: {})", self.path.display(), self.from.display(),)
f,
"can't load file: {} (dir: {}) (from: {})",
self.file_name.display(),
self.directory.display(),
self.from.display(),
)
} }
} }
@ -369,13 +353,13 @@ pub fn parse_from_fs(threads: usize, root: &str) -> io::Result<Vec<Ast>> {
type Task = (u32, PathBuf, Option<std::process::Command>); type Task = (u32, PathBuf, Option<std::process::Command>);
let seen = Mutex::new(HashMap::<PathBuf, u32>::default()); let seen = Mutex::new(HashMap::<PathBuf, u32>::default());
let tasks = TaskQueue::<Task>::new(threads); let tasks = TaskQueue::<Task>::new(extra_threads);
let ast = Mutex::new(Vec::<io::Result<Ast>>::new()); let ast = Mutex::new(Vec::<io::Result<Ast>>::new());
let loader = |path: &str, from: &str| { let loader = |path: &str, from: &str| {
let path = ImportPath::try_from(path)?; let path = ImportPath::try_from(path)?;
let physiscal_path = path.resolve(from, root)?; let physiscal_path = path.resolve(from)?;
let id = { let id = {
let mut seen = seen.lock().unwrap(); let mut seen = seen.lock().unwrap();
@ -460,7 +444,11 @@ pub fn parse_from_fs(threads: usize, root: &str) -> io::Result<Vec<Ast>> {
seen.lock().unwrap().insert(path.clone(), 0); seen.lock().unwrap().insert(path.clone(), 0);
tasks.push((0, path, None)); tasks.push((0, path, None));
std::thread::scope(|s| (0..threads).for_each(|_| _ = s.spawn(thread))); if extra_threads == 0 {
thread();
} else {
std::thread::scope(|s| (0..extra_threads + 1).for_each(|_| _ = s.spawn(thread)));
}
ast.into_inner().unwrap().into_iter().collect::<io::Result<Vec<_>>>() ast.into_inner().unwrap().into_iter().collect::<io::Result<Vec<_>>>()
} }
@ -551,6 +539,7 @@ pub fn run_test(
pub struct Options { pub struct Options {
pub fmt: bool, pub fmt: bool,
pub fmt_current: bool, pub fmt_current: bool,
pub extra_threads: usize,
} }
pub fn run_compiler( pub fn run_compiler(
@ -558,7 +547,7 @@ pub fn run_compiler(
options: Options, options: Options,
out: &mut impl std::io::Write, out: &mut impl std::io::Write,
) -> io::Result<()> { ) -> io::Result<()> {
let parsed = parse_from_fs(1, root_file)?; let parsed = parse_from_fs(options.extra_threads, root_file)?;
fn format_to_stdout(ast: parser::Ast) -> std::io::Result<()> { fn format_to_stdout(ast: parser::Ast) -> std::io::Result<()> {
let source = std::fs::read_to_string(&*ast.path)?; let source = std::fs::read_to_string(&*ast.path)?;
@ -618,7 +607,6 @@ mod test {
std::thread::spawn(move || { std::thread::spawn(move || {
for _ in 0..100 { for _ in 0..100 {
queue.extend([queue.pop().unwrap()]); queue.extend([queue.pop().unwrap()]);
//dbg!();
} }
}) })
}) })

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(71daa8b716da31a5-398d1dcd05318420): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x794fe08c9ee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x794fe08c9ee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x794fe08c9ee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x794fe08c9e35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x794fdd2f75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x794fe08e4d7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x794fe08e4d7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x794fe08e4af4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x794fe08e2319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x794fe08e4827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x794fe092d733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x794fddbb7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x794fdeb49519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x794fdeb48315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x794fdec11e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x794fdec09be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x794fdec0d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x794fdbebb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x794fdbdd17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x794fdbd8a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x794fdf533d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x794fdf5263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x794fde9924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x794fde99d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x794fde983784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x794fde982915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x794fdf4c9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x794fdf4c999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x794fdf2593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x794fdf210049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x794fdf20fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x794fe08eec1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x794fe08eec1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x794fe08eec1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x794fda0a6ded - <unknown>
35: 0x794fda12a0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(883d5aeb789a32fc-6d0e9425bddfe96): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x708f9f421ee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x708f9f421ee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x708f9f421ee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x708f9f421e35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x708f9bcf75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x708f9f43cd7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x708f9f43cd7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x708f9f43caf4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x708f9f43a319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x708f9f43c827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x708f9f485733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x708f9c5b7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x708f9d549519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x708f9d548315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x708f9d611e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x708f9d609be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x708f9d60d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x708f9a8bb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x708f9a7d17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x708f9a78a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x708f9df33d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x708f9df263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x708f9d3924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x708f9d39d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x708f9d383784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x708f9d382915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x708f9dec9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x708f9dec999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x708f9dc593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x708f9dc10049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x708f9dc0fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x708f9f446c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x708f9f446c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x708f9f446c1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x708f98aa6ded - <unknown>
35: 0x708f98b2a0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(71daa8b716da31a5-398d1dcd05318420): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x79dba17c0ee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x79dba17c0ee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x79dba17c0ee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x79dba17c0e35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x79db9e0f75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x79dba17dbd7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x79dba17dbd7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x79dba17dbaf4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x79dba17d9319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x79dba17db827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x79dba1824733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x79db9e9b7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x79db9f949519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x79db9f948315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x79db9fa11e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x79db9fa09be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x79db9fa0d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x79db9ccbb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x79db9cbd17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x79db9cb8a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x79dba0333d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x79dba03263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x79db9f7924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x79db9f79d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x79db9f783784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x79db9f782915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x79dba02c9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x79dba02c999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x79dba00593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x79dba0010049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x79dba000fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x79dba17e5c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x79dba17e5c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x79dba17e5c1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x79db9aea6ded - <unknown>
35: 0x79db9af2a0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(883d5aeb789a32fc-6d0e9425bddfe96): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x72eb90974ee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x72eb90974ee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x72eb90974ee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x72eb90974e35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x72eb8d2f75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x72eb9098fd7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x72eb9098fd7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x72eb9098faf4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x72eb9098d319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x72eb9098f827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x72eb909d8733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x72eb8dbb7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x72eb8eb49519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x72eb8eb48315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x72eb8ec11e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x72eb8ec09be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x72eb8ec0d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x72eb8bebb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x72eb8bdd17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x72eb8bd8a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x72eb8f533d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x72eb8f5263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x72eb8e9924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x72eb8e99d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x72eb8e983784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x72eb8e982915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x72eb8f4c9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x72eb8f4c999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x72eb8f2593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x72eb8f210049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x72eb8f20fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x72eb90999c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x72eb90999c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x72eb90999c1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x72eb8a0a6ded - <unknown>
35: 0x72eb8a12a0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(71daa8b716da31a5-398d1dcd05318420): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x7a2f9fc1dee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x7a2f9fc1dee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x7a2f9fc1dee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x7a2f9fc1de35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x7a2f9c4f75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x7a2f9fc38d7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x7a2f9fc38d7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x7a2f9fc38af4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x7a2f9fc36319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x7a2f9fc38827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x7a2f9fc81733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x7a2f9cdb7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x7a2f9dd49519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x7a2f9dd48315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x7a2f9de11e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x7a2f9de09be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x7a2f9de0d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x7a2f9b0bb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x7a2f9afd17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x7a2f9af8a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x7a2f9e733d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x7a2f9e7263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x7a2f9db924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x7a2f9db9d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x7a2f9db83784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x7a2f9db82915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x7a2f9e6c9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x7a2f9e6c999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x7a2f9e4593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x7a2f9e410049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x7a2f9e40fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x7a2f9fc42c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x7a2f9fc42c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x7a2f9fc42c1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x7a2f992a6ded - <unknown>
35: 0x7a2f9932a0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(883d5aeb789a32fc-6d0e9425bddfe96): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x76e299c0bee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x76e299c0bee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x76e299c0bee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x76e299c0be35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x76e2964f75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x76e299c26d7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x76e299c26d7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x76e299c26af4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x76e299c24319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x76e299c26827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x76e299c6f733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x76e296db7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x76e297d49519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x76e297d48315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x76e297e11e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x76e297e09be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x76e297e0d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x76e2950bb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x76e294fd17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x76e294f8a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x76e298733d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x76e2987263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x76e297b924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x76e297b9d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x76e297b83784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x76e297b82915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x76e2986c9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x76e2986c999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x76e2984593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x76e298410049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x76e29840fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x76e299c30c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x76e299c30c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x76e299c30c1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x76e2932a6ded - <unknown>
35: 0x76e29332a0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(71daa8b716da31a5-398d1dcd05318420): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x77667a877ee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x77667a877ee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x77667a877ee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x77667a877e35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x7766772f75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x77667a892d7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x77667a892d7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x77667a892af4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x77667a890319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x77667a892827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x77667a8db733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x776677bb7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x776678b49519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x776678b48315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x776678c11e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x776678c09be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x776678c0d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x776675ebb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x776675dd17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x776675d8a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x776679533d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x7766795263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x7766789924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x77667899d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x776678983784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x776678982915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x7766794c9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x7766794c999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x7766792593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x776679210049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x77667920fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x77667a89cc1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x77667a89cc1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x77667a89cc1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x776673fbbded - <unknown>
35: 0x77667403f0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(883d5aeb789a32fc-6d0e9425bddfe96): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x7265412daee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x7265412daee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x7265412daee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x7265412dae35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x72653dcf75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x7265412f5d7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x7265412f5d7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x7265412f5af4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x7265412f3319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x7265412f5827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x72654133e733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x72653e5b7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x72653f549519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x72653f548315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x72653f611e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x72653f609be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x72653f60d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x72653c8bb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x72653c7d17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x72653c78a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x72653ff33d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x72653ff263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x72653f3924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x72653f39d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x72653f383784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x72653f382915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x72653fec9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x72653fec999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x72653fc593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x72653fc10049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x72653fc0fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x7265412ffc1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x7265412ffc1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x7265412ffc1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x72653aaa6ded - <unknown>
35: 0x72653ab2a0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(71daa8b716da31a5-398d1dcd05318420): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x7fe312757ee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x7fe312757ee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x7fe312757ee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x7fe312757e35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x7fe30f0f75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x7fe312772d7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x7fe312772d7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x7fe312772af4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x7fe312770319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x7fe312772827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x7fe3127bb733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x7fe30f9b7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x7fe310949519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x7fe310948315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x7fe310a11e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x7fe310a09be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x7fe310a0d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x7fe30dcbb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x7fe30dbd17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x7fe30db8a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x7fe311333d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x7fe3113263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x7fe3107924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x7fe31079d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x7fe310783784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x7fe310782915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x7fe3112c9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x7fe3112c999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x7fe3110593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x7fe311010049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x7fe31100fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x7fe31277cc1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x7fe31277cc1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x7fe31277cc1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x7fe30bea6ded - <unknown>
35: 0x7fe30bf2a0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -0,0 +1,63 @@
thread 'rustc' panicked at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/compiler/rustc_query_system/src/query/plumbing.rs:726:9:
Found unstable fingerprints for type_op_prove_predicate(883d5aeb789a32fc-6d0e9425bddfe96): Ok(Canonical { value: QueryResponse { var_values: CanonicalVarValues { var_values: ['^0, '^1] }, region_constraints: QueryRegionConstraints { outlives: [], member_constraints: [] }, certainty: Ambiguous, opaque_types: [], value: () }, max_universe: U0, defining_opaque_types: [], variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }] })
stack backtrace:
0: 0x7c07198bbee5 - std::backtrace_rs::backtrace::libunwind::trace::h21dbca7614b4c2ec
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
1: 0x7c07198bbee5 - std::backtrace_rs::backtrace::trace_unsynchronized::h06a0ab0786a9166e
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x7c07198bbee5 - std::backtrace::Backtrace::create::h4502faf42b225ffa
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:331:13
3: 0x7c07198bbe35 - std::backtrace::Backtrace::force_capture::h3f1c948d7d3c4ff7
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/backtrace.rs:312:9
4: 0x7c07162f75b9 - std[9eff9e2abef5bcde]::panicking::update_hook::<alloc[f8753c8c5d44fa78]::boxed::Box<rustc_driver_impl[45abfa7f5f718cdc]::install_ice_hook::{closure#0}>>::{closure#0}
5: 0x7c07198d6d7b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he6320e9ab8bf26fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2036:9
6: 0x7c07198d6d7b - std::panicking::rust_panic_with_hook::hbb17fcb4d1217e0d
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:799:13
7: 0x7c07198d6af4 - std::panicking::begin_panic_handler::{{closure}}::h17c11573e464dc52
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:664:13
8: 0x7c07198d4319 - std::sys_common::backtrace::__rust_end_short_backtrace::h2ede7b98e5e14976
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys_common/backtrace.rs:171:18
9: 0x7c07198d6827 - rust_begin_unwind
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/panicking.rs:652:5
10: 0x7c071991f733 - core::panicking::panic_fmt::hd1e5987b32e12cc9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/core/src/panicking.rs:72:14
11: 0x7c0716bb7cf2 - rustc_query_system[a287c99bdcc77651]::query::plumbing::incremental_verify_ich_failed::<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt>.specialized.5
12: 0x7c0717b49519 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::DefaultCache<rustc_type_ir[a43f390ce1cfce50]::canonical::Canonical<rustc_middle[a0c5edade1b81cb2]::ty::context::TyCtxt, rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
13: 0x7c0717b48315 - rustc_query_impl[efbbe001b5d4abc5]::query_impl::type_op_prove_predicate::get_query_incr::__rust_end_short_backtrace
14: 0x7c0717c11e4a - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle[a0c5edade1b81cb2]::ty::ParamEnvAnd<rustc_middle[a0c5edade1b81cb2]::traits::query::type_op::ProvePredicate>>
15: 0x7c0717c09be2 - <rustc_borrowck[5842097a4d00d728]::type_check::TypeChecker>::normalize_and_prove_instantiated_predicates
16: 0x7c0717c0d5ed - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_constant
17: 0x7c0714ebb4db - <rustc_borrowck[5842097a4d00d728]::type_check::TypeVerifier as rustc_middle[a0c5edade1b81cb2]::mir::visit::Visitor>::visit_body
18: 0x7c0714dd17d2 - rustc_borrowck[5842097a4d00d728]::type_check::type_check
19: 0x7c0714d8a653 - rustc_borrowck[5842097a4d00d728]::nll::compute_regions
20: 0x7c0718533d5b - rustc_borrowck[5842097a4d00d728]::do_mir_borrowck
21: 0x7c07185263bc - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>
22: 0x7c07179924c6 - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::VecCache<rustc_span[83b70f39c20e6db5]::def_id::LocalDefId, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
23: 0x7c071799d46a - rustc_query_impl[efbbe001b5d4abc5]::query_impl::mir_borrowck::get_query_incr::__rust_end_short_backtrace
24: 0x7c0717983784 - rustc_interface[e5a29432a9a6c725]::passes::analysis
25: 0x7c0717982915 - rustc_query_impl[efbbe001b5d4abc5]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>
26: 0x7c07184c9d8a - rustc_query_system[a287c99bdcc77651]::query::plumbing::try_execute_query::<rustc_query_impl[efbbe001b5d4abc5]::DynamicConfig<rustc_query_system[a287c99bdcc77651]::query::caches::SingleCache<rustc_middle[a0c5edade1b81cb2]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[efbbe001b5d4abc5]::plumbing::QueryCtxt, true>
27: 0x7c07184c999c - rustc_query_impl[efbbe001b5d4abc5]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
28: 0x7c07182593ce - rustc_interface[e5a29432a9a6c725]::interface::run_compiler::<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}
29: 0x7c0718210049 - std[9eff9e2abef5bcde]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>
30: 0x7c071820fdf6 - <<std[9eff9e2abef5bcde]::thread::Builder>::spawn_unchecked_<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_with_globals<rustc_interface[e5a29432a9a6c725]::util::run_in_thread_pool_with_globals<rustc_interface[e5a29432a9a6c725]::interface::run_compiler<core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>, rustc_driver_impl[45abfa7f5f718cdc]::run_compiler::{closure#0}>::{closure#1}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[a00ceea0d5b38a2f]::result::Result<(), rustc_span[83b70f39c20e6db5]::ErrorGuaranteed>>::{closure#2} as core[a00ceea0d5b38a2f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
31: 0x7c07198e0c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0f1f564ffdba8230
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
32: 0x7c07198e0c1b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h676ee236ebc3d1fe
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/alloc/src/boxed.rs:2022:9
33: 0x7c07198e0c1b - std::sys::pal::unix::thread::Thread::new::thread_start::h7848e57bdb49d9c9
at /rustc/8387315ab3c26a57a1f53a90f188f0bc88514bca/library/std/src/sys/pal/unix/thread.rs:108:17
34: 0x7c07130a6ded - <unknown>
35: 0x7c071312a0dc - <unknown>
36: 0x0 - <unknown>
rustc version: 1.80.0-nightly (8387315ab 2024-05-14)
platform: x86_64-unknown-linux-gnu
query stack during panic:
#0 [type_op_prove_predicate] evaluating `type_op_prove_predicate` `ProvePredicate { predicate: Binder { value: TraitPredicate(<&codegen::Loc as core::convert::Into<codegen::LocCow<'_>>>, polarity:Positive), bound_vars: [] } }`
#1 [mir_borrowck] borrow-checking `codegen::<impl at hblang/src/codegen.rs:1215:1: 1215:13>::expr_ctx`
#2 [analysis] running analysis passes on this crate
end of query stack

View file

@ -3,5 +3,8 @@ name = "xtask"
version = "0.1.0" version = "0.1.0"
edition = "2021" edition = "2021"
[dependencies] [dependencies.argh]
argh = { git = "https://github.com/google/argh.git", branch = "master", default-features = false, features = ["help"] } git = "https://github.com/google/argh.git"
branch = "master"
default-features = false
features = ["help"]