1 error: program clause dump
2 --> $DIR/lower_trait.rs:13:1
4 LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
7 = note: FromEnv(S: std::marker::Sized) :- FromEnv(Self: Foo<S, T, U>).
8 = note: FromEnv(T: std::marker::Sized) :- FromEnv(Self: Foo<S, T, U>).
9 = note: FromEnv(U: std::marker::Sized) :- FromEnv(Self: Foo<S, T, U>).
10 = note: Implemented(Self: Foo<S, T, U>) :- FromEnv(Self: Foo<S, T, U>).
12 error: aborting due to previous error