error: program clause dump
  --> $DIR/lower_env2.rs:16:1
   |
LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: FromEnv(T: Foo) :- FromEnv(S<'a, T>).
   = note: FromEnv(T: std::marker::Sized) :- FromEnv(S<'a, T>).
   = note: TypeOutlives(T : 'a) :- FromEnv(S<'a, T>).
   = note: WellFormed(S<'a, T>) :- Implemented(T: std::marker::Sized), Implemented(T: Foo), TypeOutlives(T : 'a).

error: program clause dump
  --> $DIR/lower_env2.rs:21:1
   |
LL | #[rustc_dump_env_program_clauses] //~ ERROR program clause dump
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: FromEnv(T: Foo) :- FromEnv(S<'a, T>).
   = note: FromEnv(T: std::marker::Sized) :- FromEnv(S<'a, T>).
   = note: Implemented(Self: Foo) :- FromEnv(Self: Foo).
   = note: Implemented(Self: std::marker::Sized) :- FromEnv(Self: std::marker::Sized).
   = note: TypeOutlives(T : 'a) :- FromEnv(S<'a, T>).

error: aborting due to 2 previous errors