--- /dev/null
+// Copyright (c) 2018-2020 Antony Polukhin
+//
+// Distributed under the Boost Software License, Version 1.0. (See accompanying
+// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+
+#include <boost/pfr/tuple_size.hpp>
+
+#include <type_traits>
+
+struct X {
+ X(X&&) = default;
+ X(const X&) = delete;
+
+ X& operator=(X&&) = default;
+ X& operator=(const X&) = delete;
+};
+struct S { X x0; X x1; int x2; X x3; };
+
+static_assert(!std::is_default_constructible<X>::value, "");
+static_assert(!std::is_default_constructible<S>::value, "");
+
+int main() {
+ static_assert(boost::pfr::tuple_size_v<S> == 4, "");
+
+ struct S5_0 { int x0; int x1; int x2; int x3; X x4; };
+ static_assert(boost::pfr::tuple_size_v<S5_0> == 5, "");
+
+ struct S5_1 { X x0; int x1; int x2; int x3; int x4; };
+ static_assert(boost::pfr::tuple_size_v<S5_1> == 5, "");
+
+ struct S5_2 { int x0; int x1; X x2; int x3; int x4; };
+ static_assert(boost::pfr::tuple_size_v<S5_2> == 5, "");
+
+ struct S5_3 { int x0; int x1; X x2; int x3; X x4; };
+ static_assert(boost::pfr::tuple_size_v<S5_3> == 5, "");
+
+ struct S5_4 { X x0; X x1; X x2; X x3; X x4; };
+ static_assert(boost::pfr::tuple_size_v<S5_4> == 5, "");
+
+ struct S6 { X x0; X x1; X x2; X x3; X x4; X x5;};
+ static_assert(boost::pfr::tuple_size_v<S6> == 6, "");
+}
+