RFR: 8339296: Record deconstruction pattern in switch fails to compile

[Jan Lahoda]

On Fri, 27 Sep 2024 12:01:39 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> The approach seems good. I left some modelling questions. As you notice, I'm skeptical that just handling unknown types better is going to be the last time we see issues like this. E.g. the switch code in `Attr` seems to be doing way too much when we're in speculative mode.

I don't disagree. I think we need to see if we can move the completeness computation to a later point, and maybe even skip the exhaustiveness check during speculative attribution. But, having a type that crashes the compiler when sent to an innocuous method seemed relatively important to fix.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/20990#issuecomment-2379157880