src/test/ui/type-check/issue-40294.stderr

   1 error[E0283]: type annotations required: cannot resolve `&'a T: Foo`
   2   --> $DIR/issue-40294.rs:15:1
   3    |
   4 15 | / fn foo<'a,'b,T>(x: &'a T, y: &'b T) //~ ERROR type annotations required
   5 16 | |     where &'a T : Foo,
   6 17 | |           &'b T : Foo
   7 18 | | {
   8 19 | |     x.foo();
   9 20 | |     y.foo();
  10 21 | | }
  11    | |_^
  12    |
  13    = note: required by `Foo`
  14
  15 error: aborting due to previous error
  16