blob: 88327f864237ac2a9ad4849bbbc033059051de1b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// 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() {}
|