si constexpr - pourquoi l'instruction rejetée est-elle entièrement vérifiée?

Je déconnais avec c ++ 20 consteval dans GCC 10 et écrivais ce code #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,...