1 2 3 4 5 6 7 8 9 10 11
//@ check-pass #![feature(trait_alias)] trait Confusing<F> = Fn(i32) where F: Fn(u32); fn alias<T: Confusing<F>, F>(_: T, _: F) {} fn main() { alias(|_| {}, |_| {}); }