error: program clause dump
  --> $DIR/lower_env1.rs:16:1
   |
LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
   = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
   = note: Implemented(Self: Bar) :- FromEnv(Self: Bar).
   = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo).

error: program clause dump
  --> $DIR/lower_env1.rs:19:1
   |
LL | #[rustc_dump_env_program_clauses] //~ ERROR program clause dump
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
   = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
   = note: Implemented(Self: Bar) :- FromEnv(Self: Bar).
   = note: Implemented(Self: Foo) :- FromEnv(Self: Foo).
   = note: Implemented(Self: std::marker::Sized) :- FromEnv(Self: std::marker::Sized).
   = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo).
   = note: WellFormed(Self: Foo) :- Implemented(Self: Foo).
   = note: WellFormed(Self: std::marker::Sized) :- Implemented(Self: std::marker::Sized).

error: aborting due to 2 previous errors