[20] Switch statement with record pattern illegally reported as non-exhaustive

[jarthana]

What it does

Fixes Issue #1224

How to test

Author checklist

• I have thoroughly tested my changes
• The change is following the coding conventions
• I have signed the Eclipse Contributor Agreement (ECA)

[jarthana]

Although the patch takes care of the incorrect error reporting, it falls short with respect to the generated code. Code generation part assumes that we can't have a total pattern and an explicit default case. While this is true for simple type patterns, we can have explicit default with total record patterns. Where we lack an explicit default, we need to generate an implicit default case (I presume at this point) and generate a MatchException if required. I will wait and see how #1099 shapes up and take this up and again.

[jarthana]

Although the patch takes care of the incorrect error reporting, it falls short with respect to the generated code. Code generation part assumes that we can't have a total pattern and an explicit default case. While this is true for simple type patterns, we can have explicit default with total record patterns. Where we lack an explicit default, we need to generate an implicit default case (I presume at this point) and generate a MatchException if required. I will wait and see how #1099 shapes up and take this up and again.

I have commented out the test that fails. We will take it up with a different issue soon.