When I try to typecheck record, that implements untyped protocol, I get internal assertion error. Minimal example:
Exception:
Debug print in error position:
Clojure 1.7.0