Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ICE: bound types encountered in super_relate_tys #109090

Closed
matthiaskrgr opened this issue Mar 13, 2023 · 0 comments · Fixed by #109102
Closed

ICE: bound types encountered in super_relate_tys #109090

matthiaskrgr opened this issue Mar 13, 2023 · 0 comments · Fixed by #109102
Assignees
@compiler-errors
Labels
C-bug Category: This is a bug. F-non_lifetime_binders `#![feature(non_lifetime_binders)]` glacier ICE tracked in rust-lang/glacier. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Comments

@matthiaskrgr
Copy link
Member

Code

#![feature(non_lifetime_binders)]
#![crate_type = "lib"]

pub trait Bt {
    type C;
}

pub struct A;

impl Bt for A {
    type C = A;
}

pub fn oopsie<Bt>()
where
    for<'a, B> <B::C as Bt<'a>>::Bt: Bt, {}

Meta

rustc --version --verbose:

rustc 1.70.0-nightly (7b4f48927 2023-03-12)
binary: rustc
commit-hash: 7b4f48927dce585f747a58083b45ab62b9d73a53
commit-date: 2023-03-12
host: x86_64-unknown-linux-gnu
release: 1.70.0-nightly
LLVM version: 15.0.7

Error output

error[E0576]: cannot find associated type `Bt` in `Bt`
  --> 7CE45A32AFF0AC746EABE2C16AC685FC843FA4D22A2D9B4BD55181B090556132.rs:16:34
   |
5  |     type C;
   |     ------- associated type `C` defined here
...
16 |     for<'a, B> <B::C as Bt<'a>>::Bt: Bt, {}
   |                                  ^^
   |                                  |
   |                                  not found in `Bt`
   |                                  help: maybe you meant this associated type: `C`

error[E0404]: expected trait, found type parameter `Bt`
  --> 7CE45A32AFF0AC746EABE2C16AC685FC843FA4D22A2D9B4BD55181B090556132.rs:16:38
   |
4  | pub trait Bt {
   |           -- you might have meant to refer to this trait
...
14 | pub fn oopsie<Bt>()
   |               -- found this type parameter
15 | where
16 |     for<'a, B> <B::C as Bt<'a>>::Bt: Bt, {}
   |                                      ^^ not a trait

warning: the feature `non_lifetime_binders` is incomplete and may not be safe to use and/or cause compiler crashes
 --> 7CE45A32AFF0AC746EABE2C16AC685FC843FA4D22A2D9B4BD55181B090556132.rs:1:12
  |
1 | #![feature(non_lifetime_binders)]
  |            ^^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #108185 <https://github.com/rust-lang/rust/issues/108185> for more information
  = note: `#[warn(incomplete_features)]` on by default
Backtrace 


error: internal compiler error: /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/compiler/rustc_middle/src/ty/relate.rs:413:13: bound types encountered in super_relate_tys

thread 'rustc' panicked at 'Box<dyn Any>', /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/compiler/rustc_errors/src/lib.rs:1644:9
stack backtrace:
   0:     0x7f784176651a - std::backtrace_rs::backtrace::libunwind::trace::hf7d75cca16fd1b61
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
   1:     0x7f784176651a - std::backtrace_rs::backtrace::trace_unsynchronized::hf5ec95734aab509d
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x7f784176651a - std::sys_common::backtrace::_print_fmt::he95113413355c8cd
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/sys_common/backtrace.rs:65:5
   3:     0x7f784176651a - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h072d12f2e69ca92b
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/sys_common/backtrace.rs:44:22
   4:     0x7f78417c9c5e - core::fmt::write::h1d23f16415e96af2
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/core/src/fmt/mod.rs:1232:17
   5:     0x7f7841759275 - std::io::Write::write_fmt::hcf1e413fde4ffcd5
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/io/mod.rs:1684:15
   6:     0x7f78417662e5 - std::sys_common::backtrace::_print::h6b2b14bedd5177e7
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/sys_common/backtrace.rs:47:5
   7:     0x7f78417662e5 - std::sys_common::backtrace::print::h09ccebfbcd382e89
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/sys_common/backtrace.rs:34:9
   8:     0x7f784176905f - std::panicking::default_hook::{{closure}}::h4ee055db778febc2
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/panicking.rs:271:22
   9:     0x7f7841768d9b - std::panicking::default_hook::ha74f60e3a15d95fb
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/panicking.rs:290:9
  10:     0x7f7844a97085 - rustc_driver_impl[d355a67661263e47]::DEFAULT_HOOK::{closure#0}::{closure#0}
  11:     0x7f784176989d - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h7f34603beb945e8f
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/alloc/src/boxed.rs:2002:9
  12:     0x7f784176989d - std::panicking::rust_panic_with_hook::h4b5d379936d4932f
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/panicking.rs:696:13
  13:     0x7f7845002371 - std[e52d7c968ed01318]::panicking::begin_panic::<rustc_errors[45159b7f7e36021d]::ExplicitBug>::{closure#0}
  14:     0x7f7844ffdaa6 - std[e52d7c968ed01318]::sys_common::backtrace::__rust_end_short_backtrace::<std[e52d7c968ed01318]::panicking::begin_panic<rustc_errors[45159b7f7e36021d]::ExplicitBug>::{closure#0}, !>
  15:     0x7f7845086046 - std[e52d7c968ed01318]::panicking::begin_panic::<rustc_errors[45159b7f7e36021d]::ExplicitBug>
  16:     0x7f7845051e06 - std[e52d7c968ed01318]::panic::panic_any::<rustc_errors[45159b7f7e36021d]::ExplicitBug>
  17:     0x7f784504d966 - <rustc_errors[45159b7f7e36021d]::HandlerInner>::bug::<&alloc[fc860cae0dfa1ab1]::string::String>
  18:     0x7f784504d630 - <rustc_errors[45159b7f7e36021d]::Handler>::bug::<&alloc[fc860cae0dfa1ab1]::string::String>
  19:     0x7f7845039a9b - rustc_middle[a96ac5d591578447]::util::bug::opt_span_bug_fmt::<rustc_span[f8bdfaef83e46314]::span_encoding::Span>::{closure#0}
  20:     0x7f78450384fa - rustc_middle[a96ac5d591578447]::ty::context::tls::with_opt::<rustc_middle[a96ac5d591578447]::util::bug::opt_span_bug_fmt<rustc_span[f8bdfaef83e46314]::span_encoding::Span>::{closure#0}, !>::{closure#0}
  21:     0x7f78450384c6 - rustc_middle[a96ac5d591578447]::ty::context::tls::with_context_opt::<rustc_middle[a96ac5d591578447]::ty::context::tls::with_opt<rustc_middle[a96ac5d591578447]::util::bug::opt_span_bug_fmt<rustc_span[f8bdfaef83e46314]::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
  22:     0x7f78450399e6 - rustc_middle[a96ac5d591578447]::util::bug::opt_span_bug_fmt::<rustc_span[f8bdfaef83e46314]::span_encoding::Span>
  23:     0x7f78430b44b3 - rustc_middle[a96ac5d591578447]::util::bug::bug_fmt
  24:     0x7f7842af5f4c - rustc_middle[a96ac5d591578447]::ty::relate::super_relate_tys::<rustc_infer[8071ebb96624e335]::infer::equate::Equate>
  25:     0x7f7842af22b0 - <rustc_infer[8071ebb96624e335]::infer::equate::Equate as rustc_middle[a96ac5d591578447]::ty::relate::TypeRelation>::tys
  26:     0x7f78439cfcf5 - <rustc_infer[8071ebb96624e335]::infer::at::At>::eq::<rustc_middle[a96ac5d591578447]::ty::Ty>
  27:     0x7f78439d0343 - <rustc_infer[8071ebb96624e335]::infer::InferCtxt>::can_eq::<rustc_middle[a96ac5d591578447]::ty::Ty>
  28:     0x7f7844bc5e4f - <&mut core[125d846441ac421f]::iter::adapters::cloned::clone_try_fold<rustc_span[f8bdfaef83e46314]::def_id::DefId, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<()>, core[125d846441ac421f]::iter::traits::iterator::Iterator::any::check<rustc_span[f8bdfaef83e46314]::def_id::DefId, <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#0}::{closure#1}>::{closure#0}>::{closure#0} as core[125d846441ac421f]::ops::function::FnMut<((), &rustc_span[f8bdfaef83e46314]::def_id::DefId)>>::call_mut
  29:     0x7f7844c0d55f - <core[125d846441ac421f]::iter::adapters::map::Map<indexmap[7ada2b4ea418fd7]::map::Iter<rustc_middle[a96ac5d591578447]::ty::fast_reject::SimplifiedType, alloc[fc860cae0dfa1ab1]::vec::Vec<rustc_span[f8bdfaef83e46314]::def_id::DefId>>, <rustc_middle[a96ac5d591578447]::ty::context::TyCtxt>::all_impls::{closure#0}> as core[125d846441ac421f]::iter::traits::iterator::Iterator>::try_fold::<(), <core[125d846441ac421f]::iter::adapters::flatten::FlattenCompat<_, _>>::iter_try_fold::flatten<&alloc[fc860cae0dfa1ab1]::vec::Vec<rustc_span[f8bdfaef83e46314]::def_id::DefId>, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<()>, <core[125d846441ac421f]::iter::adapters::flatten::FlattenCompat<_, _> as core[125d846441ac421f]::iter::traits::iterator::Iterator>::try_fold::flatten<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::DefId>, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<()>, core[125d846441ac421f]::iter::adapters::cloned::clone_try_fold<rustc_span[f8bdfaef83e46314]::def_id::DefId, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<()>, core[125d846441ac421f]::iter::traits::iterator::Iterator::any::check<rustc_span[f8bdfaef83e46314]::def_id::DefId, <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#0}::{closure#1}>::{closure#0}>::{closure#0}>::{closure#0}>::{closure#0}, core[125d846441ac421f]::ops::control_flow::ControlFlow<()>>
  30:     0x7f7844c2054d - <core[125d846441ac421f]::iter::adapters::chain::Chain<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::DefId>, core[125d846441ac421f]::iter::adapters::flatten::FlatMap<indexmap[7ada2b4ea418fd7]::map::Iter<rustc_middle[a96ac5d591578447]::ty::fast_reject::SimplifiedType, alloc[fc860cae0dfa1ab1]::vec::Vec<rustc_span[f8bdfaef83e46314]::def_id::DefId>>, &alloc[fc860cae0dfa1ab1]::vec::Vec<rustc_span[f8bdfaef83e46314]::def_id::DefId>, <rustc_middle[a96ac5d591578447]::ty::context::TyCtxt>::all_impls::{closure#0}>> as core[125d846441ac421f]::iter::traits::iterator::Iterator>::try_fold::<(), core[125d846441ac421f]::iter::adapters::cloned::clone_try_fold<rustc_span[f8bdfaef83e46314]::def_id::DefId, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<()>, core[125d846441ac421f]::iter::traits::iterator::Iterator::any::check<rustc_span[f8bdfaef83e46314]::def_id::DefId, <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#0}::{closure#1}>::{closure#0}>::{closure#0}, core[125d846441ac421f]::ops::control_flow::ControlFlow<()>>
  31:     0x7f7844bbfcec - <&mut <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#0} as core[125d846441ac421f]::ops::function::FnMut<(&rustc_span[f8bdfaef83e46314]::def_id::DefId,)>>::call_mut
  32:     0x7f7844bab2ea - <&mut core[125d846441ac421f]::iter::traits::iterator::Iterator::find::check<rustc_span[f8bdfaef83e46314]::def_id::DefId, &mut <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#0}>::{closure#0} as core[125d846441ac421f]::ops::function::FnMut<((), rustc_span[f8bdfaef83e46314]::def_id::DefId)>>::call_mut
  33:     0x7f7844bbc9b3 - <core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::DefId>> as core[125d846441ac421f]::iter::traits::iterator::Iterator>::try_fold::<(), &mut core[125d846441ac421f]::iter::traits::iterator::Iterator::find::check<rustc_span[f8bdfaef83e46314]::def_id::DefId, &mut <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#0}>::{closure#0}, core[125d846441ac421f]::ops::control_flow::ControlFlow<rustc_span[f8bdfaef83e46314]::def_id::DefId>>
  34:     0x7f7844c20329 - <core[125d846441ac421f]::iter::adapters::chain::Chain<core[125d846441ac421f]::iter::sources::once::Once<rustc_span[f8bdfaef83e46314]::def_id::CrateNum>, core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::CrateNum>>> as core[125d846441ac421f]::iter::traits::iterator::Iterator>::try_fold::<(), core[125d846441ac421f]::iter::adapters::map::map_try_fold<rustc_span[f8bdfaef83e46314]::def_id::CrateNum, core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::DefId>>, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<rustc_span[f8bdfaef83e46314]::def_id::DefId>, <rustc_middle[a96ac5d591578447]::ty::context::TyCtxt>::all_traits::{closure#0}, <core[125d846441ac421f]::iter::adapters::flatten::FlattenCompat<_, _>>::iter_try_fold::flatten<core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::DefId>>, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<rustc_span[f8bdfaef83e46314]::def_id::DefId>, <core[125d846441ac421f]::iter::adapters::flatten::FlattenCompat<_, _> as core[125d846441ac421f]::iter::traits::iterator::Iterator>::try_fold::flatten<core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::DefId>>, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<rustc_span[f8bdfaef83e46314]::def_id::DefId>, core[125d846441ac421f]::iter::traits::iterator::Iterator::find::check<rustc_span[f8bdfaef83e46314]::def_id::DefId, &mut <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#0}>::{closure#0}>::{closure#0}>::{closure#0}>::{closure#0}, core[125d846441ac421f]::ops::control_flow::ControlFlow<rustc_span[f8bdfaef83e46314]::def_id::DefId>>
  35:     0x7f7844c0ce5e - <core[125d846441ac421f]::iter::adapters::map::Map<core[125d846441ac421f]::iter::adapters::chain::Chain<core[125d846441ac421f]::iter::sources::once::Once<rustc_span[f8bdfaef83e46314]::def_id::CrateNum>, core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::CrateNum>>>, <rustc_middle[a96ac5d591578447]::ty::context::TyCtxt>::all_traits::{closure#0}> as core[125d846441ac421f]::iter::traits::iterator::Iterator>::try_fold::<(), <core[125d846441ac421f]::iter::adapters::flatten::FlattenCompat<_, _>>::iter_try_fold::flatten<core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::DefId>>, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<rustc_span[f8bdfaef83e46314]::def_id::DefId>, <core[125d846441ac421f]::iter::adapters::flatten::FlattenCompat<_, _> as core[125d846441ac421f]::iter::traits::iterator::Iterator>::try_fold::flatten<core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::DefId>>, (), core[125d846441ac421f]::ops::control_flow::ControlFlow<rustc_span[f8bdfaef83e46314]::def_id::DefId>, core[125d846441ac421f]::iter::traits::iterator::Iterator::find::check<rustc_span[f8bdfaef83e46314]::def_id::DefId, &mut <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#0}>::{closure#0}>::{closure#0}>::{closure#0}, core[125d846441ac421f]::ops::control_flow::ControlFlow<rustc_span[f8bdfaef83e46314]::def_id::DefId>>
  36:     0x7f7844bfff50 - <alloc[fc860cae0dfa1ab1]::vec::Vec<alloc[fc860cae0dfa1ab1]::string::String> as alloc[fc860cae0dfa1ab1]::vec::spec_from_iter::SpecFromIter<alloc[fc860cae0dfa1ab1]::string::String, core[125d846441ac421f]::iter::adapters::map::Map<core[125d846441ac421f]::iter::adapters::filter::Filter<core[125d846441ac421f]::iter::adapters::flatten::FlatMap<core[125d846441ac421f]::iter::adapters::chain::Chain<core[125d846441ac421f]::iter::sources::once::Once<rustc_span[f8bdfaef83e46314]::def_id::CrateNum>, core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::CrateNum>>>, core[125d846441ac421f]::iter::adapters::copied::Copied<core[125d846441ac421f]::slice::iter::Iter<rustc_span[f8bdfaef83e46314]::def_id::DefId>>, <rustc_middle[a96ac5d591578447]::ty::context::TyCtxt>::all_traits::{closure#0}>, <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#0}>, <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty::{closure#1}>>>::from_iter
  37:     0x7f7844bc1975 - <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::probe_traits_that_match_assoc_ty
  38:     0x7f784390e8d4 - <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::associated_path_to_ty::{closure#0}
  39:     0x7f78438f75a6 - <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::ast_ty_to_ty_inner::{closure#0}
  40:     0x7f78438f7970 - <dyn rustc_hir_analysis[357075c2c3fc2a7b]::astconv::AstConv>::ast_ty_to_ty_inner::{closure#0}
  41:     0x7f784303d3d5 - rustc_hir_analysis[357075c2c3fc2a7b]::collect::predicates_of::gather_explicit_predicates_of
  42:     0x7f784303b1d8 - rustc_hir_analysis[357075c2c3fc2a7b]::collect::predicates_of::explicit_predicates_of
  43:     0x7f7843036e54 - rustc_query_system[704b80a7bc44cd49]::query::plumbing::try_execute_query::<rustc_query_impl[217bee59c5548bf5]::queries::explicit_predicates_of, rustc_query_impl[217bee59c5548bf5]::plumbing::QueryCtxt>
  44:     0x7f784304df73 - rustc_hir_analysis[357075c2c3fc2a7b]::collect::predicates_defined_on
  45:     0x7f784304c596 - rustc_query_system[704b80a7bc44cd49]::query::plumbing::try_execute_query::<rustc_query_impl[217bee59c5548bf5]::queries::predicates_defined_on, rustc_query_impl[217bee59c5548bf5]::plumbing::QueryCtxt>
  46:     0x7f78436358b5 - rustc_query_system[704b80a7bc44cd49]::query::plumbing::try_execute_query::<rustc_query_impl[217bee59c5548bf5]::queries::predicates_of, rustc_query_impl[217bee59c5548bf5]::plumbing::QueryCtxt>
  47:     0x7f784363455f - <rustc_query_impl[217bee59c5548bf5]::Queries as rustc_middle[a96ac5d591578447]::ty::query::QueryEngine>::predicates_of
  48:     0x7f784327be02 - <rustc_hir_analysis[357075c2c3fc2a7b]::collect::CollectItemTypesVisitor as rustc_hir[4aa57babd8685147]::intravisit::Visitor>::visit_item
  49:     0x7f784327a925 - <rustc_middle[a96ac5d591578447]::hir::map::Map>::visit_item_likes_in_module::<rustc_hir_analysis[357075c2c3fc2a7b]::collect::CollectItemTypesVisitor>
  50:     0x7f784327a84c - rustc_hir_analysis[357075c2c3fc2a7b]::collect::collect_mod_item_types
  51:     0x7f78440c706e - rustc_query_system[704b80a7bc44cd49]::query::plumbing::try_execute_query::<rustc_query_impl[217bee59c5548bf5]::queries::collect_mod_item_types, rustc_query_impl[217bee59c5548bf5]::plumbing::QueryCtxt>
  52:     0x7f78440c6bf3 - <rustc_query_impl[217bee59c5548bf5]::Queries as rustc_middle[a96ac5d591578447]::ty::query::QueryEngine>::collect_mod_item_types
  53:     0x7f7842db0363 - <rustc_session[7e23441c2db8ce4a]::session::Session>::track_errors::<rustc_hir_analysis[357075c2c3fc2a7b]::check_crate::{closure#0}, ()>
  54:     0x7f7842dacce2 - rustc_hir_analysis[357075c2c3fc2a7b]::check_crate
  55:     0x7f7842da2d12 - rustc_interface[6bf42eb308c32713]::passes::analysis
  56:     0x7f78442ab71c - rustc_query_system[704b80a7bc44cd49]::query::plumbing::try_execute_query::<rustc_query_impl[217bee59c5548bf5]::queries::analysis, rustc_query_impl[217bee59c5548bf5]::plumbing::QueryCtxt>
  57:     0x7f78442ab410 - <rustc_query_impl[217bee59c5548bf5]::Queries as rustc_middle[a96ac5d591578447]::ty::query::QueryEngine>::analysis
  58:     0x7f78440d02f9 - <rustc_middle[a96ac5d591578447]::ty::context::GlobalCtxt>::enter::<rustc_driver_impl[d355a67661263e47]::run_compiler::{closure#1}::{closure#2}::{closure#4}, core[125d846441ac421f]::result::Result<(), rustc_span[f8bdfaef83e46314]::ErrorGuaranteed>>
  59:     0x7f7843cc8498 - rustc_span[f8bdfaef83e46314]::with_source_map::<core[125d846441ac421f]::result::Result<(), rustc_span[f8bdfaef83e46314]::ErrorGuaranteed>, rustc_interface[6bf42eb308c32713]::interface::run_compiler<core[125d846441ac421f]::result::Result<(), rustc_span[f8bdfaef83e46314]::ErrorGuaranteed>, rustc_driver_impl[d355a67661263e47]::run_compiler::{closure#1}>::{closure#0}::{closure#0}>
  60:     0x7f7843cbf70c - std[e52d7c968ed01318]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[6bf42eb308c32713]::util::run_in_thread_pool_with_globals<rustc_interface[6bf42eb308c32713]::interface::run_compiler<core[125d846441ac421f]::result::Result<(), rustc_span[f8bdfaef83e46314]::ErrorGuaranteed>, rustc_driver_impl[d355a67661263e47]::run_compiler::{closure#1}>::{closure#0}, core[125d846441ac421f]::result::Result<(), rustc_span[f8bdfaef83e46314]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[125d846441ac421f]::result::Result<(), rustc_span[f8bdfaef83e46314]::ErrorGuaranteed>>
  61:     0x7f7843cbf13a - <<std[e52d7c968ed01318]::thread::Builder>::spawn_unchecked_<rustc_interface[6bf42eb308c32713]::util::run_in_thread_pool_with_globals<rustc_interface[6bf42eb308c32713]::interface::run_compiler<core[125d846441ac421f]::result::Result<(), rustc_span[f8bdfaef83e46314]::ErrorGuaranteed>, rustc_driver_impl[d355a67661263e47]::run_compiler::{closure#1}>::{closure#0}, core[125d846441ac421f]::result::Result<(), rustc_span[f8bdfaef83e46314]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[125d846441ac421f]::result::Result<(), rustc_span[f8bdfaef83e46314]::ErrorGuaranteed>>::{closure#1} as core[125d846441ac421f]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  62:     0x7f7841773793 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hc0a50816e1eb2bba
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/alloc/src/boxed.rs:1988:9
  63:     0x7f7841773793 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hb2f83fc2049033c3
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/alloc/src/boxed.rs:1988:9
  64:     0x7f7841773793 - std::sys::unix::thread::Thread::new::thread_start::hce5861512f8bf7ea
                               at /rustc/7b4f48927dce585f747a58083b45ab62b9d73a53/library/std/src/sys/unix/thread.rs:108:17
  65:     0x7f7841505bb5 - <unknown>
  66:     0x7f7841587d90 - <unknown>
  67:                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.70.0-nightly (7b4f48927 2023-03-12) running on x86_64-unknown-linux-gnu

query stack during panic:
#0 [explicit_predicates_of] computing explicit predicates of `oopsie`
#1 [predicates_defined_on] computing predicates of `oopsie`
#2 [predicates_of] computing predicates of `oopsie`
#3 [collect_mod_item_types] collecting item types in top-level module
#4 [analysis] running analysis passes on this crate
end of query stack
error: aborting due to 3 previous errors; 1 warning emitted

Some errors have detailed explanations: E0404, E0576.
For more information about an error, try `rustc --explain E0404`.

@matthiaskrgr matthiaskrgr added I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. C-bug Category: This is a bug. F-non_lifetime_binders `#![feature(non_lifetime_binders)]` labels Mar 13, 2023
@compiler-errors compiler-errors self-assigned this Mar 13, 2023
@matthiaskrgr matthiaskrgr mentioned this issue Mar 13, 2023
Open
@compiler-errors compiler-errors mentioned this issue Mar 13, 2023
Merged
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Mar 17, 2023
@matthiaskrgr
Rollup merge of rust-lang#109102 - compiler-errors:ambig-assoc-in-non…
a558adf 
…-lt-binder, r=jackh726

Erase escaping late-bound regions when probing for ambiguous associated types

Fixes rust-lang#109090
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Mar 17, 2023
@matthiaskrgr
Rollup merge of rust-lang#109102 - compiler-errors:ambig-assoc-in-non…
38baf89 
…-lt-binder, r=jackh726

Erase escaping late-bound regions when probing for ambiguous associated types

Fixes rust-lang#109090
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Mar 17, 2023
@matthiaskrgr
Rollup merge of rust-lang#109102 - compiler-errors:ambig-assoc-in-non…
62ae485 
…-lt-binder, r=jackh726

Erase escaping late-bound regions when probing for ambiguous associated types

Fixes rust-lang#109090
@bors bors closed this as completed in 0ee7539 Mar 18, 2023
@rust-lang-glacier-bot rust-lang-glacier-bot added the glacier ICE tracked in rust-lang/glacier. label Mar 20, 2023
This was referenced Mar 21, 2023
Merged
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@compiler-errors compiler-errors

Labels
C-bug Category: This is a bug. F-non_lifetime_binders `#![feature(non_lifetime_binders)]` glacier ICE tracked in rust-lang/glacier. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Erase escaping late-bound regions when probing for ambiguous associated types compiler-errors/rust
3 participants
@matthiaskrgr @compiler-errors @rust-lang-glacier-bot