类结果的反向别名中断了`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 报告）