1 error: program clause dump
2 --> $DIR/lower_impl.rs:5:1
4 LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
7 = note: forall<T> { Implemented(T: Foo) :- ProjectionEq(<T as std::iter::Iterator>::Item == i32), TypeOutlives(T: 'static), Implemented(T: std::iter::Iterator), Implemented(T: std::marker::Sized). }
9 error: program clause dump
10 --> $DIR/lower_impl.rs:13:5
12 LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump
13 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
15 = note: forall<T> { Normalize(<T as Bar>::Assoc -> std::vec::Vec<T>) :- Implemented(T: Bar). }
17 error: aborting due to 2 previous errors