src/test/ui/chalkify/lower_trait.stderr

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