defrecord can emit invalid bytecode

Description

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.

Environment

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

Assignee

Unassigned

Reporter

Alex Miller

Priority

Major

Affects versions