Handle Bool with exhaustive match #4572
Labels
enhancement
New feature or request
good first issue
Good for newcomers
help wanted
Extra attention is needed
Currently, the following code isn't seen as an exhaustive match:
This is surprising to folks and we believe that exhaustiveness checking should be enhanced to handle this for booleans.
The text was updated successfully, but these errors were encountered: