fix [type error] for error E0029 and E0277

[rust.git] / src / test / ui / chalkify / lower_trait_higher_rank.rs

// check-pass
// compile-flags: -Z chalk

trait Foo<F: ?Sized> where for<'a> F: Fn(&'a (u8, u16)) -> &'a u8
{
}

fn main() {
}