В [p1371r3], который был ещё в августе прошлого года, если не ошибаюсь, на 10 странице написано, что EWG данный пропозал отклонили
P1371R0: Pattern Matching (by Sergei Murzin, Michael Park, David Sankel, Dan Sarginson) (2019-01-21) (Related:
GitHub issue)
P1371R1: Pattern Matching (by Sergei Murzin, Michael Park, David Sankel, Dan Sarginson) (2019-06-17) (Related:
GitHub issue)
P1371R2: Pattern Matching (by Sergei Murzin, Michael Park, David Sankel, Dan Sarginson) (2020-01-13) (Related:
GitHub issue)
P1371R3: Pattern Matching (by Michael Park, Bruno Cardoso Lopes, Sergei Murzin, David Sankel, Dan Sarginson, Bjarne Stroustrup) (2020-09-15) (Related:
GitHub issue)