- Notifications
You must be signed in to change notification settings - Fork 13.9k
Closed
Labels
A-GATsArea: Generic associated types (GATs)Area: Generic associated types (GATs)A-associated-itemsArea: Associated items (types, constants & functions)Area: Associated items (types, constants & functions)A-trait-systemArea: Trait systemArea: Trait systemC-bugCategory: This is a bug.Category: This is a bug.E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.F-associated_type_bounds`#![feature(associated_type_bounds)]``#![feature(associated_type_bounds)]`F-generic_associated_types`#![feature(generic_associated_types)]` a.k.a. GATs`#![feature(generic_associated_types)]` a.k.a. GATsI-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.glacierICE tracked in rust-lang/glacier.ICE tracked in rust-lang/glacier.regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.Performance or correctness regression from one stable version to another.requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.
Description
This happens on stable 1.48.0, beta 1.49.0-beta2 as well as the current nightly.
trait MP { type T<'a>; } struct S(String); impl MP for S { type T<'a> = &'a str; } trait SR: MP { fn sr<IM>(&self) -> i32 where for<'a> IM: T<T: U<<Self as MP>::T<'a>>>; } trait T { type T; } trait U<X> {}error: internal compiler error: compiler/rustc_middle/src/ty/sty.rs:78:18: bound region is not anonymous This error occurs also when the associated_type_bounds and generic_associated_types features are enabled on nighly, another playground.
Backtrace
error: internal compiler error: compiler/rustc_middle/src/ty/sty.rs:78:18: bound region is not anonymous thread 'rustc' panicked at 'Box<Any>', compiler/rustc_errors/src/lib.rs:945:9 stack backtrace: 0: std::panicking::begin_panic 1: rustc_errors::HandlerInner::bug 2: rustc_errors::Handler::bug 3: rustc_middle::util::bug::opt_span_bug_fmt::{{closure}} 4: rustc_middle::ty::context::tls::with_opt::{{closure}} 5: rustc_middle::ty::context::tls::with_opt 6: rustc_middle::util::bug::opt_span_bug_fmt 7: rustc_middle::util::bug::bug_fmt 8: rustc_middle::ty::sty::BoundRegion::assert_bound_var 9: alloc::collections::btree::map::Entry<K,V>::or_insert_with 10: rustc_middle::ty::fold::<impl rustc_middle::ty::context::TyCtxt>::replace_escaping_bound_vars::{{closure}} 11: <rustc_middle::ty::fold::BoundVarReplacer as rustc_middle::ty::fold::TypeFolder>::fold_region 12: rustc_middle::ty::fold::TypeFoldable::fold_with 13: rustc_middle::ty::structural_impls::<impl rustc_middle::ty::fold::TypeFoldable for &rustc_middle::ty::TyS>::super_fold_with 14: <rustc_middle::ty::fold::BoundVarReplacer as rustc_middle::ty::fold::TypeFolder>::fold_ty 15: rustc_middle::ty::fold::TypeFoldable::fold_with 16: rustc_middle::ty::fold::TypeFoldable::fold_with 17: rustc_middle::ty::fold::TypeFoldable::fold_with 18: rustc_middle::ty::structural_impls::fold_list 19: rustc_middle::ty::fold::<impl rustc_middle::ty::context::TyCtxt>::replace_escaping_bound_vars 20: <rustc_middle::infer::canonical::Canonical<V> as rustc_infer::infer::canonical::substitute::CanonicalExt<V>>::substitute 21: rustc_infer::infer::InferCtxtBuilder::enter_with_canonical 22: rustc_traits::evaluate_obligation::evaluate_obligation 23: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::evaluate_obligation>::compute 24: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl 25: rustc_data_structures::stack::ensure_sufficient_stack 26: rustc_query_system::query::plumbing::get_query_impl 27: <rustc_infer::infer::InferCtxt as rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt>::evaluate_obligation 28: <rustc_infer::infer::InferCtxt as rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt>::evaluate_obligation_no_overflow 29: <rustc_infer::infer::InferCtxt as rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt>::predicate_must_hold_modulo_regions 30: rustc_typeck::check::wfcheck::receiver_is_implemented 31: rustc_typeck::check::wfcheck::receiver_is_valid 32: rustc_typeck::check::wfcheck::check_method_receiver 33: rustc_infer::infer::InferCtxtBuilder::enter 34: rustc_typeck::check::wfcheck::check_associated_item 35: rustc_typeck::check::wfcheck::check_trait_item 36: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::check_trait_item_well_formed>::compute 37: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl 38: rustc_data_structures::stack::ensure_sufficient_stack 39: rustc_query_system::query::plumbing::get_query_impl 40: rustc_query_system::query::plumbing::ensure_query_impl 41: <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once 42: rustc_hir::hir::Crate::par_visit_all_item_likes 43: rustc_session::session::Session::track_errors 44: rustc_typeck::check_crate 45: rustc_interface::passes::analysis 46: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::analysis>::compute 47: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl 48: rustc_data_structures::stack::ensure_sufficient_stack 49: rustc_query_system::query::plumbing::get_query_impl 50: rustc_interface::passes::QueryContext::enter 51: rustc_interface::queries::<impl rustc_interface::interface::Compiler>::enter 52: rustc_span::with_source_map 53: scoped_tls::ScopedKey<T>::set note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace. note: the compiler unexpectedly panicked. this is a bug. 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.48.0 (7eac88abb 2020-11-16) running on x86_64-unknown-linux-gnu note: compiler flags: -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2 --crate-type bin note: some of the compiler flags provided by cargo are hidden query stack during panic: #0 [evaluate_obligation] evaluating trait selection obligation `&Self: std::ops::Receiver` #1 [check_trait_item_well_formed] checking that `SR::sr` is well-formed #2 [analysis] running analysis passes on this crate end of query stack error: aborting due to 5 previous errors Metadata
Metadata
Assignees
Labels
A-GATsArea: Generic associated types (GATs)Area: Generic associated types (GATs)A-associated-itemsArea: Associated items (types, constants & functions)Area: Associated items (types, constants & functions)A-trait-systemArea: Trait systemArea: Trait systemC-bugCategory: This is a bug.Category: This is a bug.E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.F-associated_type_bounds`#![feature(associated_type_bounds)]``#![feature(associated_type_bounds)]`F-generic_associated_types`#![feature(generic_associated_types)]` a.k.a. GATs`#![feature(generic_associated_types)]` a.k.a. GATsI-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.glacierICE tracked in rust-lang/glacier.ICE tracked in rust-lang/glacier.regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.Performance or correctness regression from one stable version to another.requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.