Typechecker fails when checking involves an object from reify

Question

The error message is
bq. No method in multimethod 'check' for dispatch value: :reify
The following is a minimal test case which fails:

`
(ns core-typed-bug.core
(:require [clojure.core.typed :refer :all]))

(ann-protocol ITypedTest

          get-data [ITypedTest -> Any])

(defprotocol> ITypedTest
(get-data [this]))

(ann typed-test [String -> ITypedTest])
(defn typed-test [input]
(reify ITypedTest

(get-data [_] input)))

(defn> testfn :- Any
[asdf :- Keyword, in :- ITypedTest]
(get-data in))
`

Likely similar to bug (link: http://dev.clojure.org/jira/browse/CTYP-132 text: CTYP-132).

Branch: https://github.com/clojure/core.typed/pull/28/files

Answer 1

Comment made by: jot1109

Also on clojure 1.5.1, core.typed 0.2.65

No method in multimethod 'check' for dispatch value: :reify

Answer 2

Comment made by: donald.ball

This is still present in core.typed 0.3.22, and presents my sole use of ^:no-check in one of my libraries. I use protocols like they're going out of style and lean on reify a good bit, it'd be nice to not have to dodge around it thereby.

Answer 3

Reference: https://clojure.atlassian.net/browse/CTYP-133 (reported by alex+import)