//===----------------------------------------------------------------------===//
//
//                     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.
//
//===----------------------------------------------------------------------===//

// <optional>
// UNSUPPORTED: c++98, c++03, c++11, c++14
// UNSUPPORTED: libcpp-no-deduction-guides


// template<class T>
//   optional(T) -> optional<T>;


#include <optional>
#include <cassert>

struct A {};

int main()
{  
//  Test the explicit deduction guides
    {
//  optional(T)
    std::optional opt(5);
    static_assert(std::is_same_v<decltype(opt), std::optional<int>>, "");
    assert(static_cast<bool>(opt));
    assert(*opt == 5);
    }

    {
//  optional(T)
    std::optional opt(A{});
    static_assert(std::is_same_v<decltype(opt), std::optional<A>>, "");
    assert(static_cast<bool>(opt));
    }

//  Test the implicit deduction guides

    {
//  optional(const optional &);
    std::optional<char> source('A');
    std::optional opt(source);
    static_assert(std::is_same_v<decltype(opt), std::optional<char>>, "");
    assert(static_cast<bool>(opt) == static_cast<bool>(source));
    assert(*opt == *source);
    }

}

//===----------------------------------------------------------------------===//
//
//                     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.
//
//===----------------------------------------------------------------------===//

// <optional>
// UNSUPPORTED: c++98, c++03, c++11, c++14
// UNSUPPORTED: libcpp-no-deduction-guides


// template<class T>
//   optional(T) -> optional<T>;


#include <optional>
#include <cassert>

struct A {};

int main()
{  
//  Test the explicit deduction guides
    {
//	optional(T)
    std::optional opt(5);
    static_assert(std::is_same_v<decltype(opt), std::optional<int>>, "");
	assert(static_cast<bool>(opt));
	assert(*opt == 5);
    }

    {
//	optional(T)
    std::optional opt(A{});
    static_assert(std::is_same_v<decltype(opt), std::optional<A>>, "");
	assert(static_cast<bool>(opt));
    }

//  Test the implicit deduction guides

}

--- 
+++ 
@@ -25,20 +25,29 @@
 {  
 //  Test the explicit deduction guides
     {
-//	optional(T)
+//  optional(T)
     std::optional opt(5);
     static_assert(std::is_same_v<decltype(opt), std::optional<int>>, "");
-	assert(static_cast<bool>(opt));
-	assert(*opt == 5);
+    assert(static_cast<bool>(opt));
+    assert(*opt == 5);
     }
 
     {
-//	optional(T)
+//  optional(T)
     std::optional opt(A{});
     static_assert(std::is_same_v<decltype(opt), std::optional<A>>, "");
-	assert(static_cast<bool>(opt));
+    assert(static_cast<bool>(opt));
     }
 
 //  Test the implicit deduction guides
 
+    {
+//  optional(const optional &);
+    std::optional<char> source('A');
+    std::optional opt(source);
+    static_assert(std::is_same_v<decltype(opt), std::optional<char>>, "");
+    assert(static_cast<bool>(opt) == static_cast<bool>(source));
+    assert(*opt == *source);
+    }
+
 }
Add one more test for optional

git-svn-id: 756ef344af921d95d562d9e9f9389127a89a6314@333252 91177308-0d34-0410-b5e6-96231b3b80d8
