Start collecting tctest.core
Finished collecting tctest.core
Collected 1 namespaces in 117.312 msecs
Not checking clojure.core.typed (does not depend on clojure.core.typed)
Start checking tctest.core
9:  Not checking tctest.core/->AType definition
Checked tctest.core in 195.676 msecs
Checked 2 namespaces  in 319.383 msecs
Type Error (tctest/core.clj:9:1) No matching arities: [AType t/Any -> t/AnyInteger]
in: (some-method [_] 0)


Type Error (tctest/core.clj:9:1) No matching arities: [AType -> t/AnyInteger]
in: (some-method [_ _] 0)


ExceptionInfo Type Checker: Found 2 errors  clojure.core/ex-info (core.clj:4577)