Satisfies? produces an inference warning when given an unhinted argument

Question

Given the following code:

(ns app.core)

(set! *warn-on-infer* true)

(defprotocol IFoo
  (bar [this]))

;; warns on inference - expected?
(defn not-ok? [v]
  (satisfies? IFoo v))

..is it expected that the following inference warning should be produced?

WARNING: Cannot infer target type in expression (. v -app$core$IFoo$) at line 10 /Users/user/projects/cljs-protocol-inference-warning/src/app/core.cljs

repro case is available here: https://github.com/dazld/cljs-protocol-inference-warning

Notes:

• providing a hint of any sort makes the inference warning go away

Answer 1

Logged at https://clojure.atlassian.net/browse/CLJS-3257