MSVC и LLVM неизменно используют встроенные функции компилятора. Boost также не предоставляет никакой возможной реализации.
Если его невозможно реализовать идеально, есть ли какие-либо приблизительные реализации, к которым можно было бы отступить? Например, воспользоваться или изменить буквально похожие std::is_assignable и std::is_nothrow_move_assignable, предоставляемые Boost?
Подробнее здесь: https://stackoverflow.com/questions/738 ... r-builtins
