Std::unreachable не компилируется только под MSVC ⇐ C++

[Anonymous]

Следующий фрагмент кода отлично компилируется с использованием gcc и clang с -std=c++23 -Wall и -Werror, но не может скомпилироваться под msvc с /std:c++latest /W4 /WX (проверено с помощью последней версии msvc на godbolt).

Код: Выделить всё

#include 

bool KeyToMovement(int keycode)
{
switch (keycode)
{
case 0:
return true;
default:
return false;
}

std::unreachable();
}

int main()
{
KeyToMovement(0);
}

Появившаяся ошибка связана со строкой std::unreachable и состояниями simpy:

Код: Выделить всё

(34) : error C2220: the following warning is treated as an error
(34) : warning C4702: unreachable code

Почему? И кроме того, является ли использование std::unreachable даже разумной/хорошей практикой?

Подробнее здесь: https://stackoverflow.com/questions/798 ... under-msvc