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

Assignee

Unassigned

Reporter

Alex Miller

Labels

None

Approval

None

Patch

None

Affects versions

Priority

Major