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

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