On Tue, 23 Apr 2024 12:18:53 GMT, Per Minborg <pminb...@openjdk.org> wrote:
>> Good idea. > > Ahh. I thought you meant pattern matching in another place (which actually > turned out to be a really good idea). Here, however, we also need to get the > type parameters correct: > > <img width="926" alt="image" > src="https://github.com/openjdk/jdk/assets/7457876/b2a66033-4c74-42bc-a9de-a976c441ca61";> Would you still need a cast if you declare `HasComputeIfUnset` with `extends Map<K, StableValue<V>>`? ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/18794#discussion_r1581828542
