14 lines
157 B
Rust
14 lines
157 B
Rust
// check-pass
|
|
|
|
trait T<'x> {
|
|
type V;
|
|
}
|
|
|
|
impl<'g> T<'g> for u32 {
|
|
type V = u16;
|
|
}
|
|
|
|
fn main() {
|
|
(&|_| ()) as &dyn for<'x> Fn(<u32 as T<'x>>::V);
|
|
}
|