丢弃分支中的嵌套 constexpr-if 语句仍在计算？

问：

在我看来，在 MSVC（版本 15.7.3）中评估另一个 constexpr-if 语句的丢弃分支内的 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;
}

上面的代码无法在 MSVC 中编译，因为当超过元组的边界时，静态断言将失败。这表明以某种方式也评估了丢弃分支中的代码，即使它依赖于 template 参数。std::tuple_element_tII

根据 cppreference，constexpr-if 要求“对于每个可能的专业化，丢弃的语句不能格式错误”，但我很难确定这里是否是这种情况。

GCC 和 Clang 似乎也毫无问题地接受此代码（在 Compiler Explorer 上测试）。

编译错误是否符合 C++ 标准，还是此处不符合 MSVC？

（另外，如果我期望代码做的事情不是标准保证的，那么是否有另一种方法可以完成嵌套的 constexpr-if 语句？