Why does this static_assert on a pointer to an incomplete type in a templated function apparently work?
In the process of replacing a static_assert in a templated function with a requires statement, we discovered that firstly, the function was occasionally being used on an incomplete type, and that secondly this apparently compiled. The version with the requires statement, of course, is illegal.
Why does this static_assert on an incomplete type in a templated function apparently work?
In the process of replacing a static_assert in a templated function with a requires statement, we discovered that firstly, the function was occasionally being used on an incomplete type, and that secondly this apparently compiled. The version with the requires statement, of course, is illegal.