Bad call to path-type: nil

Question

Discussion: https://groups.google.com/d/msg/clojure-core-typed/-4XzTLD1LNE/LuJqMuNzAgAJ


(t/cf (t/fn [x :- (t/Option '[t/Num])] (let [[a] x] a)))
Type Error (...) Internal Error (...) Bad call to path-type: nil, ({:idx 0})

Answer 1

Reference: https://clojure.atlassian.net/browse/CTYP-275 (reported by overthink)