Closed jensmaurer closed 10 months ago
Full name of submitter (unless configured in github; will be published with the issue): Jens Maurer
Reference (section label): expr.const
Link to reflector thread (if any):
Issue description:
P2738R1 constexpr cast from void*: towards constexpr type-erasure
The wording is wrong; "T" is a pointer type, thus requiring that "P" points to an object of type similar to T is mixing pointer levels. We should be talking about "pointer to T" instead.
Suggested resolution:
CWG2755
Full name of submitter (unless configured in github; will be published with the issue): Jens Maurer
Reference (section label): expr.const
Link to reflector thread (if any):
Issue description:
P2738R1 constexpr cast from void*: towards constexpr type-erasure
The wording is wrong; "T" is a pointer type, thus requiring that "P" points to an object of type similar to T is mixing pointer levels. We should be talking about "pointer to T" instead.
Suggested resolution: