mirror of https://github.com/rust-lang/rust
19 lines
293 B
Rust
19 lines
293 B
Rust
//@ check-pass
|
|
|
|
#![feature(inherent_associated_types)]
|
|
#![allow(incomplete_features)]
|
|
#![deny(single_use_lifetimes)]
|
|
|
|
struct Foo<T>(T);
|
|
|
|
impl<'a> Foo<fn(&'a ())> {
|
|
type Assoc = &'a ();
|
|
}
|
|
|
|
trait Other {}
|
|
impl Other for u32 {}
|
|
|
|
fn bar(_: for<'a> fn(Foo<fn(&'a ())>::Assoc)) {}
|
|
|
|
fn main() {}
|