error: internal compiler error: compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs:486:17: cannot relate region: LUB('{erased}, '{erased}) #127033
Description
I wasn't able to reduce this more
Code
#[derive(serde::Serialize, serde::Deserialize)]
pub struct MyRequest {}
#[derive(serde::Serialize, serde::Deserialize)]
pub struct MyResp {}
openraft::declare_raft_types!(
pub MyTypeConfig:
D = MyRequest,
R = MyResp,
NodeId = u64,
Node = openraft::BasicNode,
Entry = openraft::Entry<MyTypeConfig>,
SnapshotData = std::io::Cursor<Vec<u8>>,
AsyncRuntime = openraft::TokioRuntime,
);
pub struct MyLogReader {}
impl<C: openraft::RaftTypeConfig> openraft::storage::RaftLogReader<C> for MyLogReader {
fn try_get_log_entries<RB: std::ops::RangeBounds<u64>>(
&mut self,
range: RB,
) -> impl std::future::Future<Output = Result<Vec<C::Entry>, openraft::StorageError<C::NodeId>>>
{
std::future::pending()
}
}
use openraft::RaftTypeConfig;
pub struct MyLogStorage {
node_id: <MyTypeConfig as RaftTypeConfig>::NodeId,
}
impl MyLogStorage {
pub fn new(node_id: <MyTypeConfig as RaftTypeConfig>::NodeId) -> Self {
Self { node_id }
}
}
impl<C: openraft::RaftTypeConfig<NodeId = u64>> openraft::storage::RaftLogReader<C>
for MyLogStorage
{
fn try_get_log_entries<RB: std::ops::RangeBounds<u64> + std::fmt::Debug>(
&mut self,
range: RB,
) -> impl std::future::Future<Output = Result<Vec<C::Entry>, openraft::StorageError<C::NodeId>>>
{
std::future::pending()
}
}
impl<C: openraft::RaftTypeConfig<NodeId = u64>> openraft::storage::RaftLogStorage<C>
for MyLogStorage
{
type LogReader = MyLogReader;
fn get_log_state(
&mut self,
) -> impl std::future::Future<
Output = Result<openraft::LogState<C>, openraft::StorageError<C::NodeId>>,
> {
std::future::pending()
}
fn get_log_reader(&mut self) -> impl std::future::Future<Output = Self::LogReader> {
std::future::pending()
}
fn save_vote(
&mut self,
vote: &openraft::Vote<C::NodeId>,
) -> impl std::future::Future<Output = Result<(), openraft::StorageError<C::NodeId>>> {
todo!();
async move {
let vote = serde_json::to_vec(vote).unwrap();
tokio::fs::write(&format!("{}.vote", self.node_id), vote).await;
Ok(())
}
}
fn read_vote(
&mut self,
) -> impl std::future::Future<
Output = Result<Option<openraft::Vote<C::NodeId>>, openraft::StorageError<C::NodeId>>,
> {
std::future::pending()
}
fn append<I: IntoIterator<Item = C::Entry> + Send>(
&mut self,
entries: I,
callback: openraft::storage::LogFlushed<C>,
) -> impl std::future::Future<Output = Result<(), openraft::StorageError<C::NodeId>>> {
std::future::pending()
}
fn truncate(
&mut self,
log_id: openraft::LogId<C::NodeId>,
) -> impl std::future::Future<Output = Result<(), openraft::StorageError<C::NodeId>>> {
std::future::pending()
}
fn purge(
&mut self,
log_id: openraft::LogId<C::NodeId>,
) -> impl std::future::Future<Output = Result<(), openraft::StorageError<C::NodeId>>> {
std::future::pending()
}
}[package]
name = "crash"
version = "0.1.0"
edition = "2021"
[lib]
[dependencies]
anyhow = "1.0.86"
openraft = { version = "0.9.11", features = ["tracing-log", "storage-v2", "serde"] }
serde = { version = "1.0.203", features = ["derive"] }
serde_json = "1.0.117"
tokio = { version = "1.38.0", features = ["full"] }
Meta
rustc --version --verbose:
rustc 1.79.0 (129f3b996 2024-06-10)
binary: rustc
commit-hash: 129f3b9964af4d4a709d1383930ade12dfe7c081
commit-date: 2024-06-10
host: aarch64-apple-darwin
release: 1.79.0
LLVM version: 18.1.7
Error output
[<output>](error: internal compiler error: compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs:486:17: cannot relate region: LUB('{erased}, '{erased}))
Backtrace
RUST_BACKTRACE=1 cargo b
Compiling crash v0.1.0 (/Users/frja/dev/rust/rustc-crash)
warning: unused variable: `range`
--> src/lib.rs:22:9
|
22 | range: RB,
| ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
|
= note: `#[warn(unused_variables)]` on by default
warning: unused variable: `range`
--> src/lib.rs:46:9
|
46 | range: RB,
| ^^^^^ help: if this is intentional, prefix it with an underscore: `_range`
warning: unreachable expression
--> src/lib.rs:75:9
|
74 | todo!();
| ------- any code following this expression is unreachable
75 | / async move {
76 | | let vote = serde_json::to_vec(vote).unwrap();
77 | | tokio::fs::write(&format!("{}.vote", self.node_id), vote).await;
78 | | Ok(())
79 | | }
| |_________^ unreachable expression
|
= note: `#[warn(unreachable_code)]` on by default
warning: unused variable: `vote`
--> src/lib.rs:72:9
|
72 | vote: &openraft::Vote<C::NodeId>,
| ^^^^ help: if this is intentional, prefix it with an underscore: `_vote`
error: internal compiler error: compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs:486:17: cannot relate region: LUB('{erased}, '{erased})
thread 'rustc' panicked at compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs:486:17:
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_middle::util::bug::opt_span_bug_fmt::<rustc_span::span_encoding::Span>::{closure#0}
3: rustc_middle::ty::context::tls::with_opt::<rustc_middle::util::bug::opt_span_bug_fmt<rustc_span::span_encoding::Span>::{closure#0}, !>::{closure#0}
4: rustc_middle::ty::context::tls::with_context_opt::<rustc_middle::ty::context::tls::with_opt<rustc_middle::util::bug::opt_span_bug_fmt<rustc_span::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
5: rustc_middle::util::bug::bug_fmt
6: <rustc_infer::infer::lexical_region_resolve::LexicalResolver>::lub_concrete_regions
7: rustc_infer::infer::lexical_region_resolve::resolve
8: <rustc_infer::infer::InferCtxt as rustc_trait_selection::regions::InferCtxtRegionExt>::resolve_regions
9: <rustc_trait_selection::traits::engine::ObligationCtxt>::resolve_regions_and_report_errors
10: rustc_hir_analysis::check::compare_impl_item::collect_return_position_impl_trait_in_trait_tys
[... omitted 2 frames ...]
11: rustc_middle::query::plumbing::query_get_at::<rustc_query_system::query::caches::DefIdCache<rustc_middle::query::erase::Erased<[u8; 8]>>>
12: rustc_hir_analysis::collect::type_of::type_of
[... omitted 2 frames ...]
13: rustc_middle::query::plumbing::query_get_at::<rustc_query_system::query::caches::DefIdCache<rustc_middle::query::erase::Erased<[u8; 8]>>>
14: <core::iter::adapters::map::Map<core::iter::adapters::flatten::FlatMap<core::slice::iter::Iter<rustc_span::def_id::DefId>, alloc::vec::Vec<rustc_hir_analysis::constrained_generic_params::Parameter>, rustc_hir_analysis::impl_wf_check::enforce_impl_params_are_constrained::{closure#0}>, <hashbrown::set::HashSet<rustc_hir_analysis::constrained_generic_params::Parameter, core::hash::BuildHasherDefault<rustc_hash::FxHasher>> as core::iter::traits::collect::Extend<rustc_hir_analysis::constrained_generic_params::Parameter>>::extend<core::iter::adapters::flatten::FlatMap<core::slice::iter::Iter<rustc_span::def_id::DefId>, alloc::vec::Vec<rustc_hir_analysis::constrained_generic_params::Parameter>, rustc_hir_analysis::impl_wf_check::enforce_impl_params_are_constrained::{closure#0}>>::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<(rustc_hir_analysis::constrained_generic_params::Parameter, ()), <hashbrown::map::HashMap<rustc_hir_analysis::constrained_generic_params::Parameter, (), core::hash::BuildHasherDefault<rustc_hash::FxHasher>> as core::iter::traits::collect::Extend<(rustc_hir_analysis::constrained_generic_params::Parameter, ())>>::extend<core::iter::adapters::map::Map<core::iter::adapters::flatten::FlatMap<core::slice::iter::Iter<rustc_span::def_id::DefId>, alloc::vec::Vec<rustc_hir_analysis::constrained_generic_params::Parameter>, rustc_hir_analysis::impl_wf_check::enforce_impl_params_are_constrained::{closure#0}>, <hashbrown::set::HashSet<rustc_hir_analysis::constrained_generic_params::Parameter, core::hash::BuildHasherDefault<rustc_hash::FxHasher>> as core::iter::traits::collect::Extend<rustc_hir_analysis::constrained_generic_params::Parameter>>::extend<core::iter::adapters::flatten::FlatMap<core::slice::iter::Iter<rustc_span::def_id::DefId>, alloc::vec::Vec<rustc_hir_analysis::constrained_generic_params::Parameter>, rustc_hir_analysis::impl_wf_check::enforce_impl_params_are_constrained::{closure#0}>>::{closure#0}>>::{closure#0}>::{closure#0}>
15: <hashbrown::map::HashMap<rustc_hir_analysis::constrained_generic_params::Parameter, (), core::hash::BuildHasherDefault<rustc_hash::FxHasher>> as core::iter::traits::collect::Extend<(rustc_hir_analysis::constrained_generic_params::Parameter, ())>>::extend::<core::iter::adapters::map::Map<core::iter::adapters::flatten::FlatMap<core::slice::iter::Iter<rustc_span::def_id::DefId>, alloc::vec::Vec<rustc_hir_analysis::constrained_generic_params::Parameter>, rustc_hir_analysis::impl_wf_check::enforce_impl_params_are_constrained::{closure#0}>, <hashbrown::set::HashSet<rustc_hir_analysis::constrained_generic_params::Parameter, core::hash::BuildHasherDefault<rustc_hash::FxHasher>> as core::iter::traits::collect::Extend<rustc_hir_analysis::constrained_generic_params::Parameter>>::extend<core::iter::adapters::flatten::FlatMap<core::slice::iter::Iter<rustc_span::def_id::DefId>, alloc::vec::Vec<rustc_hir_analysis::constrained_generic_params::Parameter>, rustc_hir_analysis::impl_wf_check::enforce_impl_params_are_constrained::{closure#0}>>::{closure#0}>>
16: rustc_hir_analysis::impl_wf_check::check_impl_wf
17: rustc_hir_analysis::check::wfcheck::check_well_formed
[... omitted 2 frames ...]
18: std::panicking::try::<core::result::Result<(), rustc_span::ErrorGuaranteed>, core::panic::unwind_safe::AssertUnwindSafe<rustc_data_structures::sync::parallel::disabled::try_par_for_each_in<&[rustc_hir::hir::ForeignItemId], rustc_span::ErrorGuaranteed, <rustc_middle::hir::ModuleItems>::par_foreign_items<rustc_hir_analysis::check::wfcheck::check_mod_type_wf::{closure#3}>::{closure#0}>::{closure#0}::{closure#0}::{closure#0}>>
19: rustc_data_structures::sync::parallel::disabled::try_par_for_each_in::<&[rustc_hir::hir::ItemId], rustc_span::ErrorGuaranteed, <rustc_middle::hir::ModuleItems>::par_items<rustc_hir_analysis::check::wfcheck::check_mod_type_wf::{closure#0}>::{closure#0}>
20: rustc_hir_analysis::check::wfcheck::check_mod_type_wf
[... omitted 2 frames ...]
21: std::panicking::try::<(), core::panic::unwind_safe::AssertUnwindSafe<rustc_data_structures::sync::parallel::disabled::par_for_each_in<&[rustc_hir::hir_id::OwnerId], <rustc_middle::hir::map::Map>::par_for_each_module<rustc_hir_analysis::check_crate::{closure#1}::{closure#0}>::{closure#0}>::{closure#0}::{closure#0}::{closure#0}>>
22: rustc_data_structures::sync::parallel::disabled::par_for_each_in::<&[rustc_hir::hir_id::OwnerId], <rustc_middle::hir::map::Map>::par_for_each_module<rustc_hir_analysis::check_crate::{closure#1}::{closure#0}>::{closure#0}>
23: rustc_hir_analysis::check_crate
24: rustc_interface::passes::analysis
[... omitted 2 frames ...]
25: <rustc_middle::ty::context::GlobalCtxt>::enter::<rustc_driver_impl::run_compiler::{closure#0}::{closure#1}::{closure#3}, core::result::Result<(), rustc_span::ErrorGuaranteed>>
26: <rustc_interface::interface::Compiler>::enter::<rustc_driver_impl::run_compiler::{closure#0}::{closure#1}, core::result::Result<core::option::Option<rustc_interface::queries::Linker>, rustc_span::ErrorGuaranteed>>
27: <scoped_tls::ScopedKey<rustc_span::SessionGlobals>>::set::<rustc_interface::util::run_in_thread_with_globals<rustc_interface::interface::run_compiler<core::result::Result<(), rustc_span::ErrorGuaranteed>, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}, core::result::Result<(), rustc_span::ErrorGuaranteed>>
28: rustc_span::create_session_globals_then::<core::result::Result<(), rustc_span::ErrorGuaranteed>, rustc_interface::util::run_in_thread_with_globals<rustc_interface::interface::run_compiler<core::result::Result<(), rustc_span::ErrorGuaranteed>, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, core::result::Result<(), rustc_span::ErrorGuaranteed>>::{closure#0}::{closure#0}::{closure#0}>
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.79.0 (129f3b996 2024-06-10) running on aarch64-apple-darwin
note: compiler flags: --crate-type lib -C embed-bitcode=no -C debuginfo=2 -C split-debuginfo=unpacked -C incremental=[REDACTED]
note: some of the compiler flags provided by cargo are hidden
query stack during panic:
#0 [collect_return_position_impl_trait_in_trait_tys] comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process
#1 [type_of] computing type of `<impl at src/lib.rs:53:1: 54:21>::{synthetic#2}`
#2 [check_well_formed] checking that `<impl at src/lib.rs:53:1: 54:21>` is well-formed
#3 [check_mod_type_wf] checking that types are well-formed in top-level module
#4 [analysis] running analysis passes on this crate
end of query stack
warning: unused variable: `entries`
--> src/lib.rs:92:9
|
92 | entries: I,
| ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entries`
warning: unused variable: `callback`
--> src/lib.rs:93:9
|
93 | callback: openraft::storage::LogFlushed<C>,
| ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_callback`
warning: unused variable: `log_id`
--> src/lib.rs:100:9
|
100 | log_id: openraft::LogId<C::NodeId>,
| ^^^^^^ help: if this is intentional, prefix it with an underscore: `_log_id`
warning: unused variable: `log_id`
--> src/lib.rs:107:9
|
107 | log_id: openraft::LogId<C::NodeId>,
| ^^^^^^ help: if this is intentional, prefix it with an underscore: `_log_id`
warning: `crash` (lib) generated 8 warnings
error: could not compile `crash` (lib); 8 warnings emitted