Lines Matching refs:static_assert
183 static_assert(sizeof(int) <= sizeof(T), "not big enough");
256 static_assert(is_same<int, decltype(0)>::value == true, "");
257 static_assert(is_same<int, decltype(c)>::value == false, "");
258 static_assert(is_same<int, decltype(v)>::value == false, "");
263 static_assert(is_same<int, decltype(ac)>::value == true, "");
264 static_assert(is_same<int, decltype(av)>::value == true, "");
265 static_assert(is_same<int, decltype(sumi)>::value == true, "");
266 static_assert(is_same<int, decltype(sumf)>::value == false, "");
267 static_assert(is_same<int, decltype(add(c, v))>::value == true, "");
279 static_assert(noexcept(f()) == false, "");
280 static_assert(noexcept(g()) == true, "");
301 static_assert(strlen_c("") == 0UL, "");
302 static_assert(strlen_c("1") == 1UL, "");
303 static_assert(strlen_c("example") == 7UL, "");
304 static_assert(strlen_c("another\0example") == 7UL, "");
326 static_assert(decltype(f(i))::value == 1, "");
327 static_assert(decltype(f(c))::value == 2, "");
328 static_assert(decltype(f(0))::value == 3, "");
342 static_assert(test::zero == 0, "");
343 static_assert(test::one == 1, "");
409 static_assert(sum<>::value == 0, "");
410 static_assert(sum<1>::value == 1, "");
411 static_assert(sum<23>::value == 23, "");
412 static_assert(sum<1, 2>::value == 3, "");
413 static_assert(sum<5, 5, 11>::value == 21, "");
414 static_assert(sum<2, 3, 5, 7, 11, 13>::value == 41, "");
490 static_assert(ivii == 42, "wrong value");
507 static_assert(strlen_c("") == 0UL, "");
508 static_assert(strlen_c("x") == 1UL, "");
509 static_assert(strlen_c("test") == 4UL, "");
510 static_assert(strlen_c("another\0test") == 7UL, "");
532 static_assert(ten_million == 100000000, "");
558 static_assert(is_same<int, decltype(f(x))>::value, "");
559 static_assert(is_same<int&, decltype(g(x))>::value, "");
628 static_assert (true);
638 static_assert(std::is_same<std::initializer_list<int>, decltype(foo)>::value);
639 static_assert(std::is_same<int, decltype(bar)>::value);
922 static_assert (std::is_same_v<Good, decltype(f(g1, g2))>);