store/[org.clojure/core.typed "0.2.82"] clj::clojure.core.typed.check.special.fn/check-core-fn-no-expected

Source

(defn check-core-fn-no-expected
  [check fexpr]
  {:pre [(#{:fn} (:op fexpr))]
   :post [(#{:fn} (:op %))
          (r/TCResult? (u/expr-type %))]}
  ;(prn "check-core-fn-no-expected")
  (let [self-name (cu/fn-self-name fexpr)
        _ (assert ((some-fn nil? symbol?) self-name))
        flat-expecteds (gen-defaults fexpr)]
    (lex/with-locals (when self-name
                       (let [this-type (self-type flat-expecteds)
                             ;_ (prn "this-type" this-type)
                             ]
                         {self-name this-type}))
      (check-anon
        fexpr
        flat-expecteds
        nil))))

Uses on crossclj