Typechecking fails with internal assert error

Description

When I try to typecheck record, that implements untyped protocol, I get internal assertion error. Minimal example:

Exception:

Debug print in error position:

Environment

Clojure 1.7.0

Your pinned fields
Click on the next to a field label to start pinning.

Assignee

Unassigned

Reporter

import