src/test/ui/chalkify/lower_env1.stderr

   1 error: program clause dump
   2   --> $DIR/lower_env1.rs:16:1
   3    |
   4 LL | #[rustc_dump_program_clauses] //~ ERROR program clause dump
   5    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   6    |
   7    = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
   8    = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
   9    = note: Implemented(Self: Bar) :- FromEnv(Self: Bar).
  10    = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo).
  11
  12 error: program clause dump
  13   --> $DIR/lower_env1.rs:19:1
  14    |
  15 LL | #[rustc_dump_env_program_clauses] //~ ERROR program clause dump
  16    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  17    |
  18    = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
  19    = note: FromEnv(Self: Foo) :- FromEnv(Self: Bar).
  20    = note: Implemented(Self: Bar) :- FromEnv(Self: Bar).
  21    = note: Implemented(Self: Foo) :- FromEnv(Self: Foo).
  22    = note: Implemented(Self: std::marker::Sized) :- FromEnv(Self: std::marker::Sized).
  23    = note: WellFormed(Self: Bar) :- Implemented(Self: Bar), WellFormed(Self: Foo), WellFormed(Self: Foo).
  24    = note: WellFormed(Self: Foo) :- Implemented(Self: Foo).
  25    = note: WellFormed(Self: std::marker::Sized) :- Implemented(Self: std::marker::Sized).
  26
  27 error: aborting due to 2 previous errors
  28