You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This bit in match.c would need to change for this to work.
// Only cases that match on type alone can count toward exhaustive match,// because matches on structural equality can't be statically evaluated.// So, for the purposes of exhaustive match, we ignore those cases.if(!case_expr_matches_type_alone(opt, case_expr))
continue;
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: