Closed
Description
Reproducer from impl_trait_utils:
#![feature(return_position_impl_trait_in_trait, return_type_notation)]
trait IntFactory {
fn stream(&self) -> impl Iterator<Item = i32>;
}
trait SendIntFactory: IntFactory<stream(): Send> + Send {}Which results in:
error: internal compiler error: compiler/rustc_middle/src/hir/map/mod.rs:845:18: expected item, found HirId(DefId(0:4 ~ trait_transformer_test[f0a7]::IntFactory::stream).0) (trait method `stream` in IntFactory::stream)
This works with async functions just fine.
Meta
rustc --version --verbose:
rustc 1.71.0-nightly (9d871b061 2023-05-21)
binary: rustc
commit-hash: 9d871b0617a4b3d6610b7cee0ab5310dcb542c62
commit-date: 2023-05-21
host: x86_64-unknown-linux-gnu
release: 1.71.0-nightly
LLVM version: 16.0.4
Backtrace
error: internal compiler error: compiler/rustc_middle/src/hir/map/mod.rs:845:18: expected item, found HirId(DefId(0:4 ~ trait_transformer_test[f0a7]::IntFactory::stream).0) (trait method `stream` in IntFactory::stream)
thread 'rustc' panicked at 'Box<dyn Any>', /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/compiler/rustc_errors/src/lib.rs:1650:9
stack backtrace:
0: 0x7f6c529698d1 - std::backtrace_rs::backtrace::libunwind::trace::h1fcde0ea8f9a8cac
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
1: 0x7f6c529698d1 - std::backtrace_rs::backtrace::trace_unsynchronized::h3bfe5daa881a502d
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x7f6c529698d1 - std::sys_common::backtrace::_print_fmt::h6c9a5949f87a0a7a
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/sys_common/backtrace.rs:65:5
3: 0x7f6c529698d1 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h60e57e557d9992ea
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/sys_common/backtrace.rs:44:22
4: 0x7f6c529c9dff - core::fmt::rt::Argument::fmt::h32fe9cf7fd31466e
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/core/src/fmt/rt.rs:138:9
5: 0x7f6c529c9dff - core::fmt::write::h456644d486ec276c
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/core/src/fmt/mod.rs:1094:21
6: 0x7f6c5295cb31 - std::io::Write::write_fmt::h2c3a3e95369085f2
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/io/mod.rs:1712:15
7: 0x7f6c529696e5 - std::sys_common::backtrace::_print::h4a02a819355b63b1
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/sys_common/backtrace.rs:47:5
8: 0x7f6c529696e5 - std::sys_common::backtrace::print::h07577b83e8248693
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/sys_common/backtrace.rs:34:9
9: 0x7f6c5296c357 - std::panicking::default_hook::{{closure}}::hcb1bab104892ac31
10: 0x7f6c5296c144 - std::panicking::default_hook::h0cc6f3347f4b8e64
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/panicking.rs:288:9
11: 0x7f6c55afc3eb - <rustc_driver_impl[ad949ce21acad6aa]::install_ice_hook::{closure#0} as core[70e66fa3f6a59150]::ops::function::FnOnce<(&core[70e66fa3f6a59150]::panic::panic_info::PanicInfo,)>>::call_once::{shim:vtable#0}
12: 0x7f6c5296ca77 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h395b77e0b7687b27
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/alloc/src/boxed.rs:1999:9
13: 0x7f6c5296ca77 - std::panicking::rust_panic_with_hook::hfc3e471ec066cbc7
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/panicking.rs:695:13
14: 0x7f6c56006761 - std[c32680bc03d28d92]::panicking::begin_panic::<rustc_errors[235823ae0a7a21f8]::ExplicitBug>::{closure#0}
15: 0x7f6c56000646 - std[c32680bc03d28d92]::sys_common::backtrace::__rust_end_short_backtrace::<std[c32680bc03d28d92]::panicking::begin_panic<rustc_errors[235823ae0a7a21f8]::ExplicitBug>::{closure#0}, !>
16: 0x7f6c55ffff76 - std[c32680bc03d28d92]::panicking::begin_panic::<rustc_errors[235823ae0a7a21f8]::ExplicitBug>
17: 0x7f6c55ff9b24 - <rustc_errors[235823ae0a7a21f8]::HandlerInner>::bug::<alloc[758fbeec409bf174]::string::String>
18: 0x7f6c55ff98c6 - <rustc_errors[235823ae0a7a21f8]::Handler>::bug::<alloc[758fbeec409bf174]::string::String>
19: 0x7f6c5607d1ac - rustc_middle[b7bed123b8e7ee66]::util::bug::opt_span_bug_fmt::<rustc_span[5a6c4eb39851ad60]::span_encoding::Span>::{closure#0}
20: 0x7f6c5607a69a - rustc_middle[b7bed123b8e7ee66]::ty::context::tls::with_opt::<rustc_middle[b7bed123b8e7ee66]::util::bug::opt_span_bug_fmt<rustc_span[5a6c4eb39851ad60]::span_encoding::Span>::{closure#0}, !>::{closure#0}
21: 0x7f6c5607a66a - rustc_middle[b7bed123b8e7ee66]::ty::context::tls::with_context_opt::<rustc_middle[b7bed123b8e7ee66]::ty::context::tls::with_opt<rustc_middle[b7bed123b8e7ee66]::util::bug::opt_span_bug_fmt<rustc_span[5a6c4eb39851ad60]::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
22: 0x7f6c542930ed - rustc_middle[b7bed123b8e7ee66]::util::bug::bug_fmt
23: 0x7f6c53cb866f - rustc_query_impl[9a7ca49561e662fc]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[9a7ca49561e662fc]::query_impl::associated_item::dynamic_query::{closure#2}::{closure#0}, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 40usize]>>
24: 0x7f6c53cb8271 - <rustc_query_impl[9a7ca49561e662fc]::query_impl::associated_item::dynamic_query::{closure#2} as core[70e66fa3f6a59150]::ops::function::FnOnce<(rustc_middle[b7bed123b8e7ee66]::ty::context::TyCtxt, rustc_span[5a6c4eb39851ad60]::def_id::DefId)>>::call_once
25: 0x7f6c56373a7f - <rustc_query_system[6b3c15b25f26c51f]::query::plumbing::execute_job_incr<rustc_query_impl[9a7ca49561e662fc]::DynamicConfig<rustc_query_system[6b3c15b25f26c51f]::query::caches::DefaultCache<rustc_span[5a6c4eb39851ad60]::def_id::DefId, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 40usize]>>, false, false, false>, rustc_query_impl[9a7ca49561e662fc]::plumbing::QueryCtxt>::{closure#2}::{closure#2} as core[70e66fa3f6a59150]::ops::function::FnOnce<((rustc_query_impl[9a7ca49561e662fc]::plumbing::QueryCtxt, rustc_query_impl[9a7ca49561e662fc]::DynamicConfig<rustc_query_system[6b3c15b25f26c51f]::query::caches::DefaultCache<rustc_span[5a6c4eb39851ad60]::def_id::DefId, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 40usize]>>, false, false, false>), rustc_span[5a6c4eb39851ad60]::def_id::DefId)>>::call_once
26: 0x7f6c54f8cbfd - rustc_query_system[6b3c15b25f26c51f]::query::plumbing::try_execute_query::<rustc_query_impl[9a7ca49561e662fc]::DynamicConfig<rustc_query_system[6b3c15b25f26c51f]::query::caches::DefaultCache<rustc_span[5a6c4eb39851ad60]::def_id::DefId, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 40usize]>>, false, false, false>, rustc_query_impl[9a7ca49561e662fc]::plumbing::QueryCtxt, true>
27: 0x7f6c54f8c579 - rustc_query_impl[9a7ca49561e662fc]::query_impl::associated_item::get_query_incr::__rust_end_short_backtrace
28: 0x7f6c553d1e46 - rustc_middle[b7bed123b8e7ee66]::query::plumbing::query_get_at::<rustc_query_system[6b3c15b25f26c51f]::query::caches::DefaultCache<rustc_span[5a6c4eb39851ad60]::def_id::DefId, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 40usize]>>>
29: 0x7f6c54918a38 - <&mut rustc_hir_analysis[eb5c2b720aa6aa8]::collect::predicates_of::explicit_predicates_of::{closure#1} as core[70e66fa3f6a59150]::ops::function::FnMut<(&(rustc_middle[b7bed123b8e7ee66]::ty::Predicate, rustc_span[5a6c4eb39851ad60]::span_encoding::Span),)>>::call_mut
30: 0x7f6c5491889d - <alloc[758fbeec409bf174]::vec::Vec<(rustc_middle[b7bed123b8e7ee66]::ty::Predicate, rustc_span[5a6c4eb39851ad60]::span_encoding::Span)> as alloc[758fbeec409bf174]::vec::spec_from_iter::SpecFromIter<(rustc_middle[b7bed123b8e7ee66]::ty::Predicate, rustc_span[5a6c4eb39851ad60]::span_encoding::Span), core[70e66fa3f6a59150]::iter::adapters::filter::Filter<core[70e66fa3f6a59150]::iter::adapters::copied::Copied<core[70e66fa3f6a59150]::slice::iter::Iter<(rustc_middle[b7bed123b8e7ee66]::ty::Predicate, rustc_span[5a6c4eb39851ad60]::span_encoding::Span)>>, rustc_hir_analysis[eb5c2b720aa6aa8]::collect::predicates_of::explicit_predicates_of::{closure#1}>>>::from_iter
31: 0x7f6c53dd0851 - rustc_query_impl[9a7ca49561e662fc]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[9a7ca49561e662fc]::query_impl::explicit_predicates_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 24usize]>>
32: 0x7f6c545fbb11 - rustc_query_system[6b3c15b25f26c51f]::query::plumbing::try_execute_query::<rustc_query_impl[9a7ca49561e662fc]::DynamicConfig<rustc_query_system[6b3c15b25f26c51f]::query::caches::DefaultCache<rustc_span[5a6c4eb39851ad60]::def_id::DefId, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[9a7ca49561e662fc]::plumbing::QueryCtxt, true>
33: 0x7f6c545fa212 - rustc_query_impl[9a7ca49561e662fc]::query_impl::explicit_predicates_of::get_query_incr::__rust_end_short_backtrace
34: 0x7f6c553d074a - rustc_hir_analysis[eb5c2b720aa6aa8]::collect::predicates_defined_on
35: 0x7f6c53b970ad - rustc_query_impl[9a7ca49561e662fc]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[9a7ca49561e662fc]::query_impl::predicates_defined_on::dynamic_query::{closure#2}::{closure#0}, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 24usize]>>
36: 0x7f6c545fb2d4 - rustc_query_system[6b3c15b25f26c51f]::query::plumbing::try_execute_query::<rustc_query_impl[9a7ca49561e662fc]::DynamicConfig<rustc_query_system[6b3c15b25f26c51f]::query::caches::DefaultCache<rustc_span[5a6c4eb39851ad60]::def_id::DefId, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[9a7ca49561e662fc]::plumbing::QueryCtxt, true>
37: 0x7f6c5549dba6 - rustc_query_impl[9a7ca49561e662fc]::query_impl::predicates_defined_on::get_query_incr::__rust_end_short_backtrace
38: 0x7f6c553d26b4 - rustc_hir_analysis[eb5c2b720aa6aa8]::collect::predicates_of::predicates_of
39: 0x7f6c53b9703d - rustc_query_impl[9a7ca49561e662fc]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[9a7ca49561e662fc]::query_impl::predicates_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 24usize]>>
40: 0x7f6c545fca17 - rustc_query_system[6b3c15b25f26c51f]::query::plumbing::try_execute_query::<rustc_query_impl[9a7ca49561e662fc]::DynamicConfig<rustc_query_system[6b3c15b25f26c51f]::query::caches::DefaultCache<rustc_span[5a6c4eb39851ad60]::def_id::DefId, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[9a7ca49561e662fc]::plumbing::QueryCtxt, true>
41: 0x7f6c54a76966 - rustc_query_impl[9a7ca49561e662fc]::query_impl::predicates_of::get_query_incr::__rust_end_short_backtrace
42: 0x7f6c53db834c - rustc_middle[b7bed123b8e7ee66]::query::plumbing::query_ensure::<rustc_query_system[6b3c15b25f26c51f]::query::caches::DefaultCache<rustc_span[5a6c4eb39851ad60]::def_id::DefId, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 24usize]>>>
43: 0x7f6c53db6e52 - <rustc_hir_analysis[eb5c2b720aa6aa8]::collect::CollectItemTypesVisitor as rustc_hir[fd0b5bb3af0aead6]::intravisit::Visitor>::visit_item
44: 0x7f6c53db6104 - <rustc_middle[b7bed123b8e7ee66]::hir::map::Map>::visit_item_likes_in_module::<rustc_hir_analysis[eb5c2b720aa6aa8]::collect::CollectItemTypesVisitor>
45: 0x7f6c53db601c - rustc_hir_analysis[eb5c2b720aa6aa8]::collect::collect_mod_item_types
46: 0x7f6c547c843c - rustc_query_impl[9a7ca49561e662fc]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[9a7ca49561e662fc]::query_impl::collect_mod_item_types::dynamic_query::{closure#2}::{closure#0}, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 0usize]>>
47: 0x7f6c547c841e - <rustc_query_impl[9a7ca49561e662fc]::query_impl::collect_mod_item_types::dynamic_query::{closure#2} as core[70e66fa3f6a59150]::ops::function::FnOnce<(rustc_middle[b7bed123b8e7ee66]::ty::context::TyCtxt, rustc_span[5a6c4eb39851ad60]::def_id::LocalDefId)>>::call_once
48: 0x7f6c54aa7707 - rustc_query_system[6b3c15b25f26c51f]::query::plumbing::try_execute_query::<rustc_query_impl[9a7ca49561e662fc]::DynamicConfig<rustc_query_system[6b3c15b25f26c51f]::query::caches::VecCache<rustc_span[5a6c4eb39851ad60]::def_id::LocalDefId, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 0usize]>>, false, false, false>, rustc_query_impl[9a7ca49561e662fc]::plumbing::QueryCtxt, true>
49: 0x7f6c554a7bf0 - rustc_query_impl[9a7ca49561e662fc]::query_impl::collect_mod_item_types::get_query_incr::__rust_end_short_backtrace
50: 0x7f6c54fd85c7 - <rustc_middle[b7bed123b8e7ee66]::hir::map::Map>::for_each_module::<rustc_hir_analysis[eb5c2b720aa6aa8]::check_crate::{closure#0}::{closure#0}::{closure#0}>
51: 0x7f6c54fd8202 - <rustc_session[aa39f0f7126ee016]::session::Session>::track_errors::<rustc_hir_analysis[eb5c2b720aa6aa8]::check_crate::{closure#0}, ()>
52: 0x7f6c54fd5c71 - rustc_hir_analysis[eb5c2b720aa6aa8]::check_crate
53: 0x7f6c54fd0a2d - rustc_interface[b4b865babd3476ac]::passes::analysis
54: 0x7f6c55030a9a - rustc_query_impl[9a7ca49561e662fc]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[9a7ca49561e662fc]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 1usize]>>
55: 0x7f6c55030a89 - <rustc_query_impl[9a7ca49561e662fc]::query_impl::analysis::dynamic_query::{closure#2} as core[70e66fa3f6a59150]::ops::function::FnOnce<(rustc_middle[b7bed123b8e7ee66]::ty::context::TyCtxt, ())>>::call_once
56: 0x7f6c5532ce65 - rustc_query_system[6b3c15b25f26c51f]::query::plumbing::try_execute_query::<rustc_query_impl[9a7ca49561e662fc]::DynamicConfig<rustc_query_system[6b3c15b25f26c51f]::query::caches::SingleCache<rustc_middle[b7bed123b8e7ee66]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[9a7ca49561e662fc]::plumbing::QueryCtxt, true>
57: 0x7f6c5532ca54 - rustc_query_impl[9a7ca49561e662fc]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
58: 0x7f6c551cbcdf - <rustc_middle[b7bed123b8e7ee66]::ty::context::GlobalCtxt>::enter::<rustc_driver_impl[ad949ce21acad6aa]::run_compiler::{closure#1}::{closure#2}::{closure#4}, core[70e66fa3f6a59150]::result::Result<(), rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>>
59: 0x7f6c54d9173f - <rustc_interface[b4b865babd3476ac]::interface::Compiler>::enter::<rustc_driver_impl[ad949ce21acad6aa]::run_compiler::{closure#1}::{closure#2}, core[70e66fa3f6a59150]::result::Result<core[70e66fa3f6a59150]::option::Option<rustc_interface[b4b865babd3476ac]::queries::Linker>, rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>>
60: 0x7f6c54d8f50d - <scoped_tls[471f6c29b29f8c7e]::ScopedKey<rustc_span[5a6c4eb39851ad60]::SessionGlobals>>::set::<rustc_interface[b4b865babd3476ac]::interface::run_compiler<core[70e66fa3f6a59150]::result::Result<(), rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>, rustc_driver_impl[ad949ce21acad6aa]::run_compiler::{closure#1}>::{closure#0}, core[70e66fa3f6a59150]::result::Result<(), rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>>
61: 0x7f6c54d8e966 - std[c32680bc03d28d92]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[b4b865babd3476ac]::util::run_in_thread_pool_with_globals<rustc_interface[b4b865babd3476ac]::interface::run_compiler<core[70e66fa3f6a59150]::result::Result<(), rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>, rustc_driver_impl[ad949ce21acad6aa]::run_compiler::{closure#1}>::{closure#0}, core[70e66fa3f6a59150]::result::Result<(), rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[70e66fa3f6a59150]::result::Result<(), rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>>
62: 0x7f6c553ba195 - <<std[c32680bc03d28d92]::thread::Builder>::spawn_unchecked_<rustc_interface[b4b865babd3476ac]::util::run_in_thread_pool_with_globals<rustc_interface[b4b865babd3476ac]::interface::run_compiler<core[70e66fa3f6a59150]::result::Result<(), rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>, rustc_driver_impl[ad949ce21acad6aa]::run_compiler::{closure#1}>::{closure#0}, core[70e66fa3f6a59150]::result::Result<(), rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[70e66fa3f6a59150]::result::Result<(), rustc_span[5a6c4eb39851ad60]::ErrorGuaranteed>>::{closure#1} as core[70e66fa3f6a59150]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
63: 0x7f6c52976f25 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf2094822989e0f14
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/alloc/src/boxed.rs:1985:9
64: 0x7f6c52976f25 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hda3729a280695d83
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/alloc/src/boxed.rs:1985:9
65: 0x7f6c52976f25 - std::sys::unix::thread::Thread::new::thread_start::h20e4fb469ede5e8c
at /rustc/9d871b0617a4b3d6610b7cee0ab5310dcb542c62/library/std/src/sys/unix/thread.rs:108:17
66: 0x7f6c5271cfd4 - start_thread
at ./nptl/pthread_create.c:442:8
67: 0x7f6c5279d66c - __GI___clone3
at ./misc/../sysdeps/unix/sysv/linux/x86_64/clone3.S:81
68: 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: rustc 1.71.0-nightly (9d871b061 2023-05-21) running on x86_64-unknown-linux-gnu
note: compiler flags: --crate-type bin -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 [associated_item] computing associated item data for `IntFactory::stream::{opaque#0}`
#1 [explicit_predicates_of] computing explicit predicates of `SendIntFactory`
#2 [predicates_defined_on] computing predicates of `SendIntFactory`
#3 [predicates_of] computing predicates of `SendIntFactory`
#4 [collect_mod_item_types] collecting item types in top-level module
#5 [analysis] running analysis passes on this crate
end of query stack