Typechecker fails when checking involves an object from reify

Description

The error message is

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

The following is a minimal test case which fails:

Likely similar to bug CTYP-132.

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

Environment

Clojure 1.6.0, core.typed 0.2.44

Activity

Show:
import
July 25, 2014, 10:36 AM

Comment made by: jot1109

Also on clojure 1.5.1, core.typed 0.2.65

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

import
March 22, 2016, 2:09 AM

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.

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Components

Fix versions

Priority

Minor
Configure