On Wed Oct 18 11:34:42 2023 +0000, Giovanni Mascellani wrote:
Is this correct? It seems to assume that the `default` case is empty, so the following case must become `default`; but the `default` might already have a body terminated by a break. This might be the reason tests are failing, I didn't investigate.
Yes, it's likely not right. I don't get any failures locally though.