Primitives in instanceof and patterns

[John Rose]

On 9 Sep 2022, at 16:13, Guy Steele wrote:

> On Sep 9, 2022, at 5:32 PM, John Rose <john.r.rose at oracle.com> wrote:
>
> Well said, but I cannot resist observing:
>>
>> There is certainly no new murk.
>
> To be precise, if you think there is more murk than before, take comfort that it is merely the dual of the existing murk. :-)

(How much is that murk in the mirror?)