mirror of https://github.com/rust-lang/rust
25 lines
480 B
Rust
25 lines
480 B
Rust
//! Regression test for #69136
|
|
//! This test checks that the unknown lifetime `'a` doesn't cause
|
|
//! ICEs after emitting the error.
|
|
|
|
#![feature(type_alias_impl_trait)]
|
|
|
|
trait SomeTrait {}
|
|
|
|
impl SomeTrait for () {}
|
|
|
|
trait WithAssoc<A> {
|
|
type AssocType;
|
|
}
|
|
|
|
impl<T> WithAssoc<T> for () {
|
|
type AssocType = ();
|
|
}
|
|
|
|
type Return<A> = impl WithAssoc<A, AssocType = impl SomeTrait + 'a>;
|
|
//~^ ERROR use of undeclared lifetime name `'a`
|
|
|
|
fn my_fun<T>() -> Return<T> {}
|
|
|
|
fn main() {}
|