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

   1 error[E0283]: type annotations needed
   2   --> $DIR/issue-40294.rs:5:1
   3    |
   4 LL |   trait Foo: Sized {
   5    |   ---------------- required by `Foo`
   6 ...
   7 LL | / fn foo<'a,'b,T>(x: &'a T, y: &'b T)
   8 LL | |     where &'a T : Foo,
   9 LL | |           &'b T : Foo
  10 LL | | {
  11 LL | |     x.foo();
  12 LL | |     y.foo();
  13 LL | | }
  14    | |_^ cannot infer type for reference `&'a T`
  15    |
  16    = note: cannot resolve `&'a T: Foo`
  17
  18 error: aborting due to previous error
  19
  20 For more information about this error, try `rustc --explain E0283`.