if constexpr - por que a declaração descartada é totalmente verificada?

Eu estava brincando com c ++ 20 consteval no GCC 10 e escrevi este código #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&&...