FR-023-007 9.12.3 [dcl.attr.assume] Removing or ignoring assumes

[wg21bot]

This facility introduces more problems than it solves, especially from implementation perspective. In particular, it has ABI change implications that raises concerns from implementors and effective deployment. The existing implementation-defined extensions serve the purposes they are defined for (with their limitations).

Either:

1. Entirely revert P1774, or
2. Amend it to be completely ignorable as sequence of tokens, without forcing any odr-use of entities (which might trigger template instantiations and so forth)

[jfbastien]

Paper: cplusplus/papers#529
Related counter to this comment: cplusplus/papers#1317

[erichkeane]

Revert P1774 for C++23 as proposed in the National Body comment.

SF	F	N	A	SA
7	4	12	14	15

Result: Consensus for no change

Amend the specification for [[assume]] to permit a conforming implementation to syntactically ignore the attribute(AKA token soup), as proposed in the National Body comment.

SF	F	N	A	SA
8	6	4	20	9

Result: Consensus for no change

Recommend to Reject