Явная шаткость этого параметра объекта ⇐ C++

[Anonymous]

На Reddit был некоторый код, который определял функцию-член с явным параметром объекта this, определенным как тип int. Это заставило меня задуматься, как можно вызвать эту функцию-член.
После некоторых тестов выяснилось, что все компиляторы (Clang, GCC и MSVC) выдают разные результаты. Итак, это поднимает вопрос; является ли следующий код законным и соответствует ли он стандарту C++23?
struct w { constexpr bool f(this int) { return true; } };
static_assert((*&w::f)(1)); // clang ok, gcc ok, msvc nope
static_assert((*&w::f)(0)); // clang ok, gcc nope, msvc nope

Демо

Сообщение об ошибке GCC:
:3:23: error: non-constant condition for static assertion
3 | static_assert((*&w::f)(0));
| ~~~~~~~~^~~
:3:24: error: dereferencing a null pointer
3 | static_assert((*&w::f)(0));
|

Сообщение об ошибке MSVC:
(2): error C2660: 'w::f': function does not take 1 arguments
(1): note: see declaration of 'w::f'
(2): note: while trying to match the argument list '(int)'
(3): error C2660: 'w::f': function does not take 1 arguments
(1): note: see declaration of 'w::f'
(3): note: while trying to match the argument list '(int)'


Подробнее здесь: https://stackoverflow.com/questions/787 ... -wonkiness