The third improved version of has_type. This version exhibits behavior equivalent to short circuiting with no recursion whatsoever.

has_type_v3.cpp

#include <type_traits>
#include <tuple>
 
namespace detail
{
    template <typename value, typename tuple>
    struct has_type;
    
    template <typename value, typename... xs>
    struct has_type<value, std::tuple<xs...>>
    {
    private:
        struct null;
        
        static std::false_type
        check(std::conditional_t<std::is_same<xs, value>::value, null, xs>...);
        
        static std::true_type
        check(...);
    public:
        using type = decltype(check(std::declval<xs>()...));
    };
}
 
template <typename value, typename tuple>
using has_type_t = typename detail::has_type<value, std::decay_t<tuple>>::type;
 
template <typename value, typename tuple>
constexpr auto has_type(tuple&&) -> has_type_t<value, tuple>
{
    return {};
}
 
int main()
{
    constexpr std::tuple<bool, double, int, short> t{true, 3.14, 10, 12};
    static_assert(has_type<int>(t), "");
}