让别名解析破坏`class`结果的流推断

Question

以下代码会抱怨从 .isArray 确实可能抛出空指针异常(NPE)，
但很明显，断言防止了这种情况。这个问题与
让别名解析有关，可能与 core.typed 不知道如何
使用信息更新 `c` 的类型，即它不是 nil。
的。


(fn [a :- t/Any]
  (let [c (class a)
        _ (assert c)]
    (.isArray c)))

Answer 1

参考：https://clojure.atlassian.net/browse/CTYP-326 ( 由 ambrosebs 报告)