rust/tests/ui/chalkify/lower_trait_higher_rank.rs

// check-pass
// compile-flags: -Z trait-solver=chalk

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

fn main() {
}
Reintegrate chalk using chalk-solve 2020-03-03 11:25:03 -05:00			`// check-pass`
Update tests, etc 2023-01-02 23:18:00 +00:00			`// compile-flags: -Z trait-solver=chalk`
Reintegrate chalk using chalk-solve 2020-03-03 11:25:03 -05:00
			`trait Foo<F: ?Sized> where for<'a> F: Fn(&'a (u8, u16)) -> &'a u8`
			`{`
			`}`

			`fn main() {`
			`}`