111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//===----------------------------------------------------------------------===//
211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//
311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//                     The LLVM Compiler Infrastructure
411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//
511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// This file is dual licensed under the MIT and the University of Illinois Open
611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Source Licenses. See LICENSE.TXT for details.
711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//
811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//===----------------------------------------------------------------------===//
911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//
1011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// UNSUPPORTED: libcpp-has-no-threads
1111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
1211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// This test is marked XFAIL and not UNSUPPORTED because the non-variadic
1311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// declaration of packaged_task is available in C++03. Therefore the test
1411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// should fail because the static_assert fires and not because std::packaged_task
1511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// in undefined.
1611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// XFAIL: c++98, c++03
1711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
1811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// <future>
1911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// class packaged_task<R(ArgTypes...)>
2111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// template <class Callable, class Alloc>
2311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//   struct uses_allocator<packaged_task<Callable>, Alloc>
2411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//      : true_type { };
2511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <future>
2711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include "test_allocator.h"
2811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert
2911cd02dfb91661c65134cac258cf5924270e9d2Dan Albertint main()
3011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{
3111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert    static_assert((std::uses_allocator<std::packaged_task<double(int, char)>, test_allocator<int> >::value), "");
3211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert}
33