An appropriate diagnostic has already been emitted when we get to the expression, so just return false here.
Details
Details
Diff Detail
Diff Detail
Event Timeline
Comment Actions
This is lacking test coverage. (Other interesting related test coverage are casts that perform a reinterpret_cast under the hood but that might be somewhat separate.)
Comment Actions
Well I think at least things like C-style casts that basically end up being reinterpret_cast should be tested as well e.g.:
constexpr int x = 1; constexpr float *fp = (float*)x;