Per https://ask.clojure.org/index.php/9943/defrecord-can-emit-invalid-bytecode
Getting a verifier error:
Minimal repro:
Cause: Records implement Map (which has a put() method) and the put() method in IBad is a different signature . It may not be possible to make this work, but we should detect and fail rather than emit invalid bytecode.