Не могу пока посмотреть код, но должен сказать, что в std далеко не все sfinae-friendly (например, std::is_enum<T> вроде бы нет), и в таких случаях if constexpr ведёт себя странно (не может перейти на следующую ветку условия, например).
Не могу пока посмотреть код, но должен сказать, что в std далеко не все sfinae-friendly (например, std::is_enum<T> вроде бы нет), и в таких случаях if constexpr ведёт себя странно (не может перейти на следующую ветку условия, например).