Clojurians Log v2

Hi! I am very new to core.typed, and I am wondering if it can infer fn-types and what it needs to do that. I tried a simple example

(t/cf (let [x 5
            foo (fn foo [y] (+ x y))]
        foo))

oh yes, wiki says > All function parameters must be annotated, or default to Any.

Hm, I would've expected this to be possible