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

error: program clause dump
  --> $DIR/lower_env1.rs:9:1
   |
LL | #[rustc_dump_env_program_clauses]
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: forall<Self> { FromEnv(Self: Foo) :- FromEnv(Self: Bar). }
   = note: forall<Self> { Implemented(Self: Bar) :- FromEnv(Self: Bar). }
   = note: forall<Self> { Implemented(Self: Foo) :- FromEnv(Self: Foo). }

error: aborting due to 2 previous errors