если constexpr - почему отвергнутая выписка полностью проверена?

Я возился с C ++ 20 Conteval в GCC 10 и написал этот код #include <optional> #include <tuple> #include <iostream> template <std::size_t N, typename Predicate, typename Tuple> consteval std::optional<std::size_t> find_if_impl(Predicate&& pred, Tuple&& t)...