P2392 Pattern matching using "is" and "as"

[wg21bot]

P2392R0 Pattern matching using “is” and “as” (Herb Sutter)

[jfbastien]

This paper was seen on the 2021-07-07 EWG telecon.

POLL: Should we spend more time on P2392's inspect using is and as, knowing that time is limited and we already have put in a lot of effort towards another patmat proposal?

SF	F	N	A	SA
7	13	4	1	2

Result: consensus.

POLL: Should we spend more time on patmat expressions outside of inspect (as proposed in P2392 or otherwise), knowing that time is limited and we already have put in a lot of effort towards another patmat proposal?

SF	F	N	A	SA
11	12	4	2	0

Result: consensus.

[wg21bot]

P2392R1 Pattern matching using "is" and "as" (Herb Sutter)

[wg21bot]

P2392R2 Pattern matching using is and as (Herb Sutter)

[erichkeane]

Reviewed in Kona along with #1353:

Regardless of pattern matching, we should encourage pursuing is query/as cast unification in the language.

SF	F	N	A	SA
7	10	11	4	1

Result: Consensus for encouragement

EWG Prefers composition over chaining in pattern matching syntax.

SF	F	N	A	SA
13	9	2	1	0

Result: Consensus

Who has tried the pattern matching version Bruno did on Godbolt (presented by Michael)?
6 of 19-remote + 35-in-room

Who has tried the pattern matching implementation version that Herb/Sean did in CPPFront/Circle?
3 of 19-remote + 35-in-room