#define TYPE_CHECK(T, S)                                     \
    while (false) {                                              \
      *(static_cast<T* volatile*>(0)) = static_cast<S*>(0);      \
    }

Eu estou lendo o googlev8e encontrou a macro acima para verificação de tipo.

No entanto, eu não entendo por que isso funciona. enquanto (falso) nunca é executado, certo? Alguém pode explicar essas linhas? obrigado