Hm, wouldn't any use of if constexpr break that definition? e.g. template<typename T> void f() { if constexpr (is_int<T>) { return 0; }

Hm, wouldn't any use of if constexpr break that definition? e.g. template<typename T> void f() { if constexpr (is_int<T>) { return 0; } else ...