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.