mirror of https://github.com/rust-lang/rust
17 lines
386 B
Rust
17 lines
386 B
Rust
struct S {}
|
|
|
|
trait T<'a> {
|
|
type A;
|
|
}
|
|
|
|
impl T<'_> for S {
|
|
type A = u32;
|
|
}
|
|
|
|
fn foo(x: impl Fn(<S as T<'_>>::A) -> <S as T<'_>>::A) {}
|
|
//~^ ERROR binding for associated type `Output` references an anonymous lifetime
|
|
//~| NOTE lifetimes appearing in an associated or opaque type are not considered constrained
|
|
//~| NOTE consider introducing a named lifetime parameter
|
|
|
|
fn main() {}
|