是否仍计算丢弃分支中的嵌套constexpr if语句?

#include <tuple>
#include <type_traits>

template <size_t I>
int test() {
    if constexpr(I != 0) {
        return 0;
    }
    else { // This branch is discarded, but it seems that the constexpr-if below is still evaulated?
        if constexpr(std::is_same_v<int, std::tuple_element_t<I, std::tuple<int>>>) { // some constexpr check that is valid only when I == 0
            return 1;
        }
        else {
            return 2;
        }
    }
}

int main() {
    test<1>();
    return 0;
}

std::tuple_element_t I 我

根据 cppreference

GCC和Clang似乎也毫无问题地接受了这段代码(在编译器资源管理器上测试)。

(另外,如果标准不能保证代码所做的工作,是否还有其他方法来完成嵌套的constexpr if语句?)