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