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

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Components

Fix versions

Priority

Minor
Configure