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