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 16 | |     where &'a T : Foo,
   6 17 | |           &'b T : Foo
   7 18 | | {
   8 19 | |     x.foo();
   9 20 | |     y.foo();
  10 21 | | }
  11    | |_^ cannot infer type for `&'a T`
  12
  13 error: aborting due to previous error
  14