Closed as duplicate of#132126
Description
Code
pub trait Foo<CRASH: use<Self>>{
}
pub fn main() {}Meta
But exist also in Beta 1.88.0-beta.4 and 1.89.0-nightly (2025-05-25). tested via https://play.rust-lang.org/?version=nightly&mode=debug&edition=2024&gist=d20accf7d0482f2a72fa90ff19508dc0
rustc --version --verbose:
rustc 1.87.0 (17067e9ac 2025-05-09)
binary: rustc
commit-hash: 17067e9ac6d7ecb70e50f92c1944e545188d2359
commit-date: 2025-05-09
host: x86_64-unknown-linux-gnu
release: 1.87.0
LLVM version: 20.1.1
Error output
Compiling playground v0.0.1 (/playground)
error: `use<...>` precise capturing syntax not allowed in bounds
--> src/main.rs:1:22
|
1 | pub trait Foo<CRASH: use<Self>>{
| ^^^^^^^^^
error: internal compiler error: could not resolve DefId(0:3 ~ playground[0030]::Foo)
--> src/main.rs:1:26
|
1 | pub trait Foo<CRASH: use<Self>>{
| ^^^^
thread 'rustc' panicked at compiler/rustc_hir_analysis/src/collect/resolve_bound_vars.rs:1624:14:
Box<dyn Any>
stack backtrace:
0: 0x7c2e4e16be33 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h3b17f03bfda6667a
1: 0x7c2e4e805ab7 - core::fmt::write::hc9b0f8a9fc12f427
2: 0x7c2e4f859ad1 - std::io::Write::write_fmt::h3527c8b296dc0f02
3: 0x7c2e4e16bc92 - std::sys::backtrace::BacktraceLock::print::hd36278a8c5cab9b5
4: 0x7c2e4e16f88a - std::panicking::default_hook::{{closure}}::h7a69b161a35337b9
5: 0x7c2e4e16f40f - std::panicking::default_hook::h2e367b1c9f07bdf3
6: 0x7c2e4d197c43 - std[63f6f244a46818d7]::panicking::update_hook::<alloc[bd483a91ae5fec6e]::boxed::Box<rustc_driver_impl[930b1bfb72a442a1]::install_ice_hook::{closure#1}>>::{closure#0}
7: 0x7c2e4e170103 - std::panicking::rust_panic_with_hook::h2123f995843b7dd0
8: 0x7c2e4d1d40b1 - std[63f6f244a46818d7]::panicking::begin_panic::<rustc_errors[11888250fa38d8e8]::ExplicitBug>::{closure#0}
9: 0x7c2e4d1c7f86 - std[63f6f244a46818d7]::sys::backtrace::__rust_end_short_backtrace::<std[63f6f244a46818d7]::panicking::begin_panic<rustc_errors[11888250fa38d8e8]::ExplicitBug>::{closure#0}, !>
10: 0x7c2e4d1c7d67 - std[63f6f244a46818d7]::panicking::begin_panic::<rustc_errors[11888250fa38d8e8]::ExplicitBug>
11: 0x7c2e4d1de821 - <rustc_errors[11888250fa38d8e8]::diagnostic::BugAbort as rustc_errors[11888250fa38d8e8]::diagnostic::EmissionGuarantee>::emit_producing_guarantee
12: 0x7c2e4d27db4e - <rustc_errors[11888250fa38d8e8]::DiagCtxtHandle>::span_bug::<rustc_span[97ad5fb840ff1750]::span_encoding::Span, alloc[bd483a91ae5fec6e]::string::String>
13: 0x7c2e4ba7afd1 - <rustc_hir_analysis[bee0b1add3ec2eb2]::collect::resolve_bound_vars::BoundVarContext>::resolve_type_ref
14: 0x7c2e4f1cebb9 - <rustc_hir_analysis[bee0b1add3ec2eb2]::collect::resolve_bound_vars::BoundVarContext as rustc_hir[f49bb9fe4491397a]::intravisit::Visitor>::visit_where_predicate
15: 0x7c2e4f1ca336 - <rustc_hir_analysis[bee0b1add3ec2eb2]::collect::resolve_bound_vars::BoundVarContext as rustc_hir[f49bb9fe4491397a]::intravisit::Visitor>::visit_generics
16: 0x7c2e4f1cc50f - rustc_hir[f49bb9fe4491397a]::intravisit::walk_item::<rustc_hir_analysis[bee0b1add3ec2eb2]::collect::resolve_bound_vars::BoundVarContext>
17: 0x7c2e4f1c6067 - <rustc_hir_analysis[bee0b1add3ec2eb2]::collect::resolve_bound_vars::BoundVarContext as rustc_hir[f49bb9fe4491397a]::intravisit::Visitor>::visit_item
18: 0x7c2e4f1c7f7e - rustc_hir_analysis[bee0b1add3ec2eb2]::collect::resolve_bound_vars::resolve_bound_vars
19: 0x7c2e4f1c7c44 - rustc_query_impl[eed77674258614a]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[eed77674258614a]::query_impl::resolve_bound_vars::dynamic_query::{closure#2}::{closure#0}, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 8usize]>>
20: 0x7c2e4ebdad55 - rustc_query_system[b7c6594c6e557da5]::query::plumbing::try_execute_query::<rustc_query_impl[eed77674258614a]::DynamicConfig<rustc_data_structures[4137bf5f98b2bf06]::vec_cache::VecCache<rustc_hir[f49bb9fe4491397a]::hir_id::OwnerId, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 8usize]>, rustc_query_system[b7c6594c6e557da5]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[eed77674258614a]::plumbing::QueryCtxt, false>
21: 0x7c2e4ebda7d2 - rustc_query_impl[eed77674258614a]::query_impl::resolve_bound_vars::get_query_non_incr::__rust_end_short_backtrace
22: 0x7c2e4ebda5d3 - rustc_query_impl[eed77674258614a]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[eed77674258614a]::query_impl::named_variable_map::dynamic_query::{closure#2}::{closure#0}, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 8usize]>>
23: 0x7c2e4ebdad55 - rustc_query_system[b7c6594c6e557da5]::query::plumbing::try_execute_query::<rustc_query_impl[eed77674258614a]::DynamicConfig<rustc_data_structures[4137bf5f98b2bf06]::vec_cache::VecCache<rustc_hir[f49bb9fe4491397a]::hir_id::OwnerId, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 8usize]>, rustc_query_system[b7c6594c6e557da5]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[eed77674258614a]::plumbing::QueryCtxt, false>
24: 0x7c2e4ebda892 - rustc_query_impl[eed77674258614a]::query_impl::named_variable_map::get_query_non_incr::__rust_end_short_backtrace
25: 0x7c2e4f53c640 - rustc_hir_analysis[bee0b1add3ec2eb2]::collect::predicates_of::gather_explicit_predicates_of::{closure#0}
26: 0x7c2e4f53a3a4 - rustc_hir_analysis[bee0b1add3ec2eb2]::collect::predicates_of::trait_explicit_predicates_and_bounds
27: 0x7c2e4f53a2b4 - rustc_query_impl[eed77674258614a]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[eed77674258614a]::query_impl::trait_explicit_predicates_and_bounds::dynamic_query::{closure#2}::{closure#0}, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 24usize]>>
28: 0x7c2e4f53a299 - <rustc_query_impl[eed77674258614a]::query_impl::trait_explicit_predicates_and_bounds::dynamic_query::{closure#2} as core[3cc6f9b8207ddfbc]::ops::function::FnOnce<(rustc_middle[80cc3c52368b46d8]::ty::context::TyCtxt, rustc_span[97ad5fb840ff1750]::def_id::LocalDefId)>>::call_once
29: 0x7c2e4f5395c4 - rustc_query_system[b7c6594c6e557da5]::query::plumbing::try_execute_query::<rustc_query_impl[eed77674258614a]::DynamicConfig<rustc_data_structures[4137bf5f98b2bf06]::vec_cache::VecCache<rustc_span[97ad5fb840ff1750]::def_id::CrateNum, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 24usize]>, rustc_query_system[b7c6594c6e557da5]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[eed77674258614a]::plumbing::QueryCtxt, false>
30: 0x7c2e4f539255 - rustc_query_impl[eed77674258614a]::query_impl::trait_explicit_predicates_and_bounds::get_query_non_incr::__rust_end_short_backtrace
31: 0x7c2e4f53a5cf - rustc_query_impl[eed77674258614a]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[eed77674258614a]::query_impl::explicit_predicates_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 24usize]>>
32: 0x7c2e4e98b7ee - rustc_query_system[b7c6594c6e557da5]::query::plumbing::try_execute_query::<rustc_query_impl[eed77674258614a]::DynamicConfig<rustc_query_system[b7c6594c6e557da5]::query::caches::DefIdCache<rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[eed77674258614a]::plumbing::QueryCtxt, false>
33: 0x7c2e4e98b12a - rustc_query_impl[eed77674258614a]::query_impl::explicit_predicates_of::get_query_non_incr::__rust_end_short_backtrace
34: 0x7c2e4e98a6e6 - rustc_query_impl[eed77674258614a]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[eed77674258614a]::query_impl::predicates_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 24usize]>>
35: 0x7c2e4e98b7cf - rustc_query_system[b7c6594c6e557da5]::query::plumbing::try_execute_query::<rustc_query_impl[eed77674258614a]::DynamicConfig<rustc_query_system[b7c6594c6e557da5]::query::caches::DefIdCache<rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[eed77674258614a]::plumbing::QueryCtxt, false>
36: 0x7c2e4e98b02a - rustc_query_impl[eed77674258614a]::query_impl::predicates_of::get_query_non_incr::__rust_end_short_backtrace
37: 0x7c2e4f05b7f8 - <rustc_hir_analysis[bee0b1add3ec2eb2]::collect::CollectItemTypesVisitor as rustc_hir[f49bb9fe4491397a]::intravisit::Visitor>::visit_item
38: 0x7c2e4f04f237 - rustc_hir_analysis[bee0b1add3ec2eb2]::check::wfcheck::check_well_formed
39: 0x7c2e4f04f04b - rustc_query_impl[eed77674258614a]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[eed77674258614a]::query_impl::check_well_formed::dynamic_query::{closure#2}::{closure#0}, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 1usize]>>
40: 0x7c2e4f04e8f1 - rustc_query_system[b7c6594c6e557da5]::query::plumbing::try_execute_query::<rustc_query_impl[eed77674258614a]::DynamicConfig<rustc_data_structures[4137bf5f98b2bf06]::vec_cache::VecCache<rustc_span[97ad5fb840ff1750]::def_id::LocalDefId, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 1usize]>, rustc_query_system[b7c6594c6e557da5]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[eed77674258614a]::plumbing::QueryCtxt, false>
41: 0x7c2e4f04e3e6 - rustc_query_impl[eed77674258614a]::query_impl::check_well_formed::get_query_non_incr::__rust_end_short_backtrace
42: 0x7c2e4f04b965 - rustc_hir_analysis[bee0b1add3ec2eb2]::check::wfcheck::check_mod_type_wf
43: 0x7c2e4f04b75f - rustc_query_impl[eed77674258614a]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[eed77674258614a]::query_impl::check_mod_type_wf::dynamic_query::{closure#2}::{closure#0}, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 1usize]>>
44: 0x7c2e4f811504 - rustc_query_system[b7c6594c6e557da5]::query::plumbing::try_execute_query::<rustc_query_impl[eed77674258614a]::DynamicConfig<rustc_query_system[b7c6594c6e557da5]::query::caches::DefaultCache<rustc_span[97ad5fb840ff1750]::def_id::LocalModDefId, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[eed77674258614a]::plumbing::QueryCtxt, false>
45: 0x7c2e4f811291 - rustc_query_impl[eed77674258614a]::query_impl::check_mod_type_wf::get_query_non_incr::__rust_end_short_backtrace
46: 0x7c2e4eaa98b7 - rustc_hir_analysis[bee0b1add3ec2eb2]::check_crate
47: 0x7c2e4eaaad85 - rustc_interface[2998264b83e2f0a]::passes::run_required_analyses
48: 0x7c2e4f6e829e - rustc_interface[2998264b83e2f0a]::passes::analysis
49: 0x7c2e4f6e8275 - rustc_query_impl[eed77674258614a]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[eed77674258614a]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 0usize]>>
50: 0x7c2e4f6ea37a - rustc_query_system[b7c6594c6e557da5]::query::plumbing::try_execute_query::<rustc_query_impl[eed77674258614a]::DynamicConfig<rustc_query_system[b7c6594c6e557da5]::query::caches::SingleCache<rustc_middle[80cc3c52368b46d8]::query::erase::Erased<[u8; 0usize]>>, false, false, false>, rustc_query_impl[eed77674258614a]::plumbing::QueryCtxt, false>
51: 0x7c2e4f6ea04f - rustc_query_impl[eed77674258614a]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
52: 0x7c2e4f881507 - rustc_interface[2998264b83e2f0a]::passes::create_and_enter_global_ctxt::<core[3cc6f9b8207ddfbc]::option::Option<rustc_interface[2998264b83e2f0a]::queries::Linker>, rustc_driver_impl[930b1bfb72a442a1]::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0}
53: 0x7c2e4f8a89cf - rustc_interface[2998264b83e2f0a]::interface::run_compiler::<(), rustc_driver_impl[930b1bfb72a442a1]::run_compiler::{closure#0}>::{closure#1}
54: 0x7c2e4f853c46 - std[63f6f244a46818d7]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[2998264b83e2f0a]::util::run_in_thread_with_globals<rustc_interface[2998264b83e2f0a]::util::run_in_thread_pool_with_globals<rustc_interface[2998264b83e2f0a]::interface::run_compiler<(), rustc_driver_impl[930b1bfb72a442a1]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
55: 0x7c2e4f8538eb - <<std[63f6f244a46818d7]::thread::Builder>::spawn_unchecked_<rustc_interface[2998264b83e2f0a]::util::run_in_thread_with_globals<rustc_interface[2998264b83e2f0a]::util::run_in_thread_pool_with_globals<rustc_interface[2998264b83e2f0a]::interface::run_compiler<(), rustc_driver_impl[930b1bfb72a442a1]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[3cc6f9b8207ddfbc]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
56: 0x7c2e4f854c3d - std::sys::pal::unix::thread::Thread::new::thread_start::h05fa1b207aa43e3d
57: 0x7c2e4968aaa4 - <unknown>
58: 0x7c2e49717a34 - clone
59: 0x0 - <unknown>
note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md
note: please make sure that you have updated to the latest nightly
note: please attach the file at `/playground/rustc-ice-2025-05-26T09_47_29-25.txt` to your bug report
note: compiler flags: --crate-type bin -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2
note: some of the compiler flags provided by cargo are hidden
query stack during panic:
#0 [resolve_bound_vars] resolving lifetimes for `Foo`
#1 [named_variable_map] looking up a named region inside `Foo`
... and 6 other queries... use `env RUST_BACKTRACE=1` to see the full query stack
error: could not compile `playground` (bin "playground") due to 1 previous error
Backtrace on my machine
Backtrace
thread 'rustc' panicked at compiler/rustc_hir_analysis/src/collect/resolve_bound_vars.rs:1608:14:
Box<dyn Any>
stack backtrace:
0: std::panicking::begin_panic::<rustc_errors::ExplicitBug>
1: <rustc_errors::diagnostic::BugAbort as rustc_errors::diagnostic::EmissionGuarantee>::emit_producing_guarantee
2: <rustc_errors::DiagCtxtHandle>::span_bug::<rustc_span::span_encoding::Span, alloc::string::String>
3: <rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext>::resolve_type_ref
4: <rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext as rustc_hir::intravisit::Visitor>::visit_where_predicate
5: <rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext as rustc_hir::intravisit::Visitor>::visit_generics
6: rustc_hir::intravisit::walk_item::<rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext>
7: <rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext as rustc_hir::intravisit::Visitor>::visit_item
8: rustc_hir_analysis::collect::resolve_bound_vars::resolve_bound_vars
[... omitted 2 frames ...]
9: rustc_hir_analysis::collect::predicates_of::gather_explicit_predicates_of::{closure#0}
10: rustc_hir_analysis::collect::predicates_of::trait_explicit_predicates_and_bounds
[... omitted 5 frames ...]
11: <rustc_hir_analysis::collect::CollectItemTypesVisitor as rustc_hir::intravisit::Visitor>::visit_item
12: rustc_hir_analysis::check::wfcheck::check_well_formed
[... omitted 1 frame ...]
13: rustc_hir_analysis::check::wfcheck::check_mod_type_wf
[... omitted 1 frame ...]
14: rustc_hir_analysis::check_crate
15: rustc_interface::passes::run_required_analyses
16: rustc_interface::passes::analysis
[... omitted 1 frame ...]
17: rustc_interface::passes::create_and_enter_global_ctxt::<core::option::Option<rustc_interface::queries::Linker>, rustc_driver_impl::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0}
18: rustc_interface::interface::run_compiler::<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
0: std::panicking::begin_panic::<rustc_errors::ExplicitBug>
1: <rustc_errors::diagnostic::BugAbort as rustc_errors::diagnostic::EmissionGuarantee>::emit_producing_guarantee
2: <rustc_errors::DiagCtxtHandle>::span_bug::<rustc_span::span_encoding::Span, alloc::string::String>
3: <rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext>::resolve_type_ref
4: <rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext as rustc_hir::intravisit::Visitor>::visit_where_predicate
5: <rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext as rustc_hir::intravisit::Visitor>::visit_generics
6: rustc_hir::intravisit::walk_item::<rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext>
7: <rustc_hir_analysis::collect::resolve_bound_vars::BoundVarContext as rustc_hir::intravisit::Visitor>::visit_item
8: rustc_hir_analysis::collect::resolve_bound_vars::resolve_bound_vars
[... omitted 2 frames ...]
9: rustc_hir_analysis::collect::predicates_of::gather_explicit_predicates_of::{closure#0}
10: rustc_hir_analysis::collect::predicates_of::trait_explicit_predicates_and_bounds
[... omitted 5 frames ...]
11: <rustc_hir_analysis::collect::CollectItemTypesVisitor as rustc_hir::intravisit::Visitor>::visit_item
12: rustc_hir_analysis::check::wfcheck::check_well_formed
[... omitted 1 frame ...]
13: rustc_hir_analysis::check::wfcheck::check_mod_type_wf
[... omitted 1 frame ...]
14: rustc_hir_analysis::check_crate
15: rustc_interface::passes::run_required_analyses
16: rustc_interface::passes::analysis
[... omitted 1 frame ...]
17: rustc_interface::passes::create_and_enter_global_ctxt::<core::option::Option<rustc_interface::queries::Linker>, rustc_driver_impl::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0}
18: rustc_interface::interface::run_compiler::<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md
note: rustc 1.87.0 (17067e9ac 2025-05-09) running on x86_64-unknown-linux-gnu
note: compiler flags: -C embed-bitcode=no -C debuginfo=2 -C incremental=[REDACTED]
note: some of the compiler flags provided by cargo are hidden
query stack during panic:
#0 [resolve_bound_vars] resolving lifetimes for `reconciler::Reconciler`
#1 [named_variable_map] looking up a named region inside `reconciler::Reconciler`
#2 [trait_explicit_predicates_and_bounds] computing explicit predicates of trait `reconciler::Reconciler`
#3 [explicit_predicates_of] computing explicit predicates of `reconciler::Reconciler`
#4 [predicates_of] computing predicates of `reconciler::Reconciler`
#5 [check_well_formed] checking that `reconciler::Reconciler` is well-formed
#6 [check_mod_type_wf] checking that types are well-formed in module `reconciler`
#7 [analysis] running analysis passes on this crate
end of query stack
note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md
note: rustc 1.87.0 (17067e9ac 2025-05-09) running on x86_64-unknown-linux-gnu
note: compiler flags: --crate-type lib -C embed-bitcode=no -C debuginfo=2 -C incremental=[REDACTED]
note: some of the compiler flags provided by cargo are hidden
query stack during panic:
#0 [resolve_bound_vars] resolving lifetimes for `reconciler::Reconciler`
#1 [named_variable_map] looking up a named region inside `reconciler::Reconciler`
#2 [trait_explicit_predicates_and_bounds] computing explicit predicates of trait `reconciler::Reconciler`
#3 [explicit_predicates_of] computing explicit predicates of `reconciler::Reconciler`
#4 [predicates_of] computing predicates of `reconciler::Reconciler`
#5 [check_well_formed] checking that `reconciler::Reconciler` is well-formed
#6 [check_mod_type_wf] checking that types are well-formed in module `reconciler`
#7 [analysis] running analysis passes on this crate
end of query stack