1 error: program clause dump
2 --> $DIR/lower_trait_higher_rank.rs:13:1
4 LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
7 = note: FromEnv(F: std::marker::Sized) :- FromEnv(Self: Foo<F>).
8 = note: FromEnv(F: std::ops::Fn<(&'a (u8, u16),)>) :- FromEnv(Self: Foo<F>).
9 = note: Implemented(Self: Foo<F>) :- FromEnv(Self: Foo<F>).
10 = note: ProjectionEq(<F as std::ops::FnOnce<(&'a (u8, u16),)>>::Output == &'a u8) :- FromEnv(Self: Foo<F>).
12 error: aborting due to previous error