Support case-inside statements in data flow analysis #1400

Open

Labels

feature-request

opened

Similarly to regular case statements, case inside statements should support exhaustiveness checking during data flow analysis.

Metadata

Assignees

No one assigned

Labels

feature-request

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests