Index: test/std/utilities/optional/optional.nullopt/not_brace_initializable.fail.cpp =================================================================== --- test/std/utilities/optional/optional.nullopt/not_brace_initializable.fail.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// - -// UNSUPPORTED: c++98, c++03, c++11, c++14 -// - -// struct nullopt_t{see below}; - -#include - -using std::optional; -using std::nullopt_t; - -int main() -{ - // I roughly interpret LWG2736 as "it shall not be possible to copy-list-initialize nullopt_t with an - // empty braced-init-list." - nullopt_t foo = {}; -} Index: test/std/utilities/optional/optional.nullopt/nullopt_t.fail.cpp =================================================================== --- test/std/utilities/optional/optional.nullopt/nullopt_t.fail.cpp +++ test/std/utilities/optional/optional.nullopt/nullopt_t.fail.cpp @@ -11,15 +11,13 @@ // // struct nullopt_t{see below}; -// constexpr nullopt_t nullopt(unspecified); +// inline constexpr nullopt_t nullopt(unspecified); // [optional.nullopt]/2: -// Type nullopt_t shall not have a default constructor or an initializer-list constructor. -// It shall not be an aggregate and shall be a literal type. -// Constant nullopt shall be initialized with an argument of literal type. +// Type nullopt_t shall not have a default constructor or an initializer-list +// constructor, and shall not be an aggregate. #include -#include "test_macros.h" int main() { Index: test/std/utilities/optional/optional.nullopt/nullopt_t.pass.cpp =================================================================== --- test/std/utilities/optional/optional.nullopt/nullopt_t.pass.cpp +++ test/std/utilities/optional/optional.nullopt/nullopt_t.pass.cpp @@ -11,33 +11,30 @@ // // struct nullopt_t{see below}; -// constexpr nullopt_t nullopt(unspecified); +// inline constexpr nullopt_t nullopt(unspecified); // [optional.nullopt]/2: -// Type nullopt_t shall not have a default constructor or an initializer-list constructor. -// It shall not be an aggregate and shall be a literal type. -// Constant nullopt shall be initialized with an argument of literal type. +// Type nullopt_t shall not have a default constructor or an initializer-list +// constructor, and shall not be an aggregate. #include #include -using std::optional; using std::nullopt_t; using std::nullopt; -constexpr -int -test(const nullopt_t&) +constexpr bool test() { - return 3; + nullopt_t foo{nullopt}; + (void)foo; + return true; } int main() { - static_assert(( std::is_class::value), ""); - static_assert(( std::is_empty::value), ""); - static_assert(( std::is_literal_type::value), ""); - static_assert((!std::is_default_constructible::value), ""); + static_assert(std::is_empty_v); + static_assert(!std::is_default_constructible_v); - static_assert(test(nullopt) == 3, ""); + static_assert(std::is_same_v); + static_assert(test()); }