"type annotations needed" in signature with HRTB

[comex]

Playground link

fn foo<F>(f: F) where
    F: for<'a> FnOnce(&'a i32) -> &'a i32,
    F: FnOnce(&'static i32) -> &'static i32
    {}

produces:

error[E0282]: type annotations needed
 --> src/main.rs:4:8
  |
4 |     F: FnOnce(&'static i32) -> &'static i32
  |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type

error: aborting due to previous error

Note that this error occurs when defining the function, not calling it. There is nowhere to add type annotations, so the error makes no sense. This code should presumably be accepted, since both of the bounds are accepted individually.

[Dylan-DPC]

Current output:

error[[E0283]](https://doc.rust-lang.org/nightly/error_codes/E0283.html): type annotations needed: cannot satisfy `F: FnOnce<(&'static i32,)>`
 --> src/main.rs:4:8
  |
4 |     F: FnOnce(&'static i32) -> &'static i32
  |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
note: multiple `impl`s or `where` clauses satisfying `F: FnOnce<(&'static i32,)>` found
 --> src/main.rs:3:8
  |
3 |     F: for<'a> FnOnce(&'a i32) -> &'a i32,
  |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4 |     F: FnOnce(&'static i32) -> &'static i32
  |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

For more information about this error, try `rustc --explain E0283`.