P2211 Exhaustiveness Checking for Pattern Matching

[wg21bot]

P2211R0 Exhaustiveness Checking for Pattern Matching (David Sankel, Sergei Murzin, Michael Park, Dan Sarginson)

[erichkeane]

EWG encourages Pattern Matching to implement exhaustiveness as proposed in P2211:

SF	F	N	A	SA
10	3	2	2	1

Result: Consensus

EWG encourages Pattern Matching to implement exhaustiveness with a requirement of a match-all to handle all values in an Expression?

SF	F	N	A	SA
3	0	2	3	11

Result: Consensus Against

[jfbastien]

Seen in EWG on Thursday.