better diagnosis info

This commit is contained in:
方而静 2023-07-23 14:27:01 +08:00
parent ac82ce9267
commit b71ef30f3e

View File

@ -737,21 +737,20 @@ inline void outputln(std::basic_ostream<CharT, Traits>& out
out << endl; out << endl;
} }
namespace tests { namespace _checks {
using empty_sequence_int = decltype(nothing<int>()); using empty_sequence_int = decltype(nothing<int>());
static_assert(is_sequence_t<empty_sequence_int>::value, ""); static_assert(is_sequence_t<empty_sequence_int>::value
static_assert(is_sequence_t<decltype(take(empty_sequence_int{}, 1))>::value, ""); && is_sequence_t<decltype(take(empty_sequence_int{}, 1))>::value
static_assert(is_sequence_t<decltype(group<20>(empty_sequence_int{}))>::value, ""); && is_sequence_t<decltype(group<20>(empty_sequence_int{}))>::value
static_assert(is_sequence_t<decltype(concat(empty_sequence_int{} && is_sequence_t<decltype(concat(empty_sequence_int{}, empty_sequence_int{}))>::value
, empty_sequence_int{}))>::value, ""); && !is_sequence_t<int>::value
&& !is_sequence_t<std::less<int>>::value
, "compile-time self-checking failed(try upgrading your compiler).");
static_assert(!is_sequence_t<int>::value, ""); } // namespace _checks
static_assert(!is_sequence_t<std::less<int>>::value, "");
} } // namespace vmake
}
#endif #endif