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

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Components

Fix versions

Affects versions

Priority

Major