I did not fail this one, but I think it's a bit unsuitable for an audit.
GCC disagrees with Clang and MSVC when concept that's always true is used to implement a concept
The following code fails to compile with Clang 13 and MSVC v19.29 VS16.11 but successfully compiles with GCC 11.2.
<Code block>
<Link to Godbolt>
Is GCC wrong here? I expected
refable<void>
to evaluate to false since it forms an invalid type(void&
) in the immediate context.
My immediate reaction to this was to downvote and/or close vote because the error message is not included in the question. While it can be discussed if it's strictly necessary in this case, I would argue that it would 1) improve the question a lot since error messages are searchable, and 2) I don't think it's fair that someone should fail an audit when downvoting for this reason.