On Tue, 6 Dec 2022 09:28:56 GMT, Aggelos Biboudis <abimpoudis at openjdk.org> wrote: > In this PR we erase the annotation in the unhandled case of deconstruction patterns. Looks reasonable. ------------- Marked as reviewed by jlahoda (Reviewer). PR: https://git.openjdk.org/jdk/pull/11532