P2738 constexpr cast from void*: towards constexpr type-erasure

[wg21bot]

P2738R0 constexpr cast from void*: towards constexpr type-erasure (Corentin Jabot, David Ledger)

[jfbastien]

Similar to #1438

[erichkeane]

This was discussed in EWG during the February 8th, 2023 afternoon session in Issaquah. The following polls were taken:

Support directly casting back and forth with void* (to the exact same type) in constexpr.

SF	F	N	A	SA
10	9	0	0	0

Result: Consensus

Support placement-new in constexpr as proposed in P2747R0.

SF	F	N	A	SA
3	12	2	0	0

Result: Consensus

Authors of P2738 and P2747 should work together and come back with reviewed wording/implementation experience.

[erichkeane]

This paper as D2738R1 was seen again in EWG during the February, 10th, 2023 afternoon session in Issaquah. The following poll was taken:

Forward D2738R1 to CWG for inclusion in C++26.

SF	F	N	A	SA
6	15	3	0	0

Result: Consensus

[wg21bot]

P2738R1 constexpr cast from void*: towards constexpr type-erasure (Corentin Jabot, David Ledger)

[jensmaurer]

CWG telecon 2023-04-28: Approved for C++26.