[libcxx-commits] [libcxx] [libc++] Implement Resolution of LWG 3886 (PR #155356)

[A. Jiang via libcxx-commits]

================
@@ -131,6 +132,15 @@ void test_explicit() {
             assert(T::copy_constructed == 0);
             assert(t.value().value == 42);
         }
+        T::reset();
+        {
+          optional<T> t{43};
----------------
frederick-vs-ja wrote:

I think the `_Up` type is still deducible in `optional<T> t{43};`.
```suggestion
          optional<T> t({43});
```


https://github.com/llvm/llvm-project/pull/155356