In this SFINAE-style detection, what does the trait report?
template<class T, class = void>
struct has_size : std::false_type {};
template<class T>
struct has_size<T, std::void_t<decltype(std::declval<T>().size())>>
: std::true_type {};
// has_size<int>::value == ?