On Wed, 12 Jan 2022 19:07:00 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
>> yes, that should be harmless > > Actually, no, sorry. If I sharpen the type, then `dup` has to cast, so we go > back to the original issue. Ah yes, i see. Maybe it's worth adding a general comment to the class doc of `HeapMemorySegmentImpl` briefly explaining the reasons for use of `Object`. ------------- PR: https://git.openjdk.java.net/jdk18/pull/97
