Closed
Description
Code
This snippet is found in #60473.
Reduced:
#![feature(impl_trait_in_bindings)]
#![allow(incomplete_features)]
struct A<'a>(&'a ());
trait Trait<T> {}
impl<T> Trait<T> for () {}
pub fn foo<'a>() {
let _x: impl Trait<A<'a>> = ();
}
fn main() {}
Meta
rustc --version --verbose
:
1.43.0-nightly (823ff8cf1 2020-03-07)
Error output
error: internal compiler error: opaque type with non-universal region substs
--> src/main.rs:10:1
|
10 | / pub fn foo<'a>() {
11 | | let _x: impl Trait<A<'a>> = ();
12 | | }
| |_^
thread 'rustc' panicked at 'no errors encountered even though `delay_span_bug` issued', src/librustc_errors/lib.rs:355:17
Metadata
Metadata
Assignees
Labels
Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.Category: This is a bug.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.`#![feature(impl_trait_in_bindings)]`Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Relevant to the compiler team, which will review and decide on the PR/issue.ICE tracked in rust-lang/glacier.This issue requires a nightly compiler in some way.