The two snippets are not equivalent. You were able to drop the second
constexpr because the last branch is valid even if the condition is true.