1f7558068SNikolas Klauser //===----------------------------------------------------------------------===// 2f7558068SNikolas Klauser // 3f7558068SNikolas Klauser // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4f7558068SNikolas Klauser // See https://llvm.org/LICENSE.txt for license information. 5f7558068SNikolas Klauser // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6f7558068SNikolas Klauser // 7f7558068SNikolas Klauser //===----------------------------------------------------------------------===// 8f7558068SNikolas Klauser // 9*a7f9895cSLouis Dionne // UNSUPPORTED: no-threads 10f7558068SNikolas Klauser 11f7558068SNikolas Klauser // <future> 12f7558068SNikolas Klauser 13f7558068SNikolas Klauser // class packaged_task<R(ArgTypes...)> 14f7558068SNikolas Klauser // template <class F, class Allocator> 15f7558068SNikolas Klauser // packaged_task(allocator_arg_t, const Allocator& a, F&& f); 16f7558068SNikolas Klauser // These constructors shall not participate in overload resolution if 17f7558068SNikolas Klauser // decay<F>::type is the same type as std::packaged_task<R(ArgTypes...)>. 18f7558068SNikolas Klauser 19f7558068SNikolas Klauser #include <cassert> 20f7558068SNikolas Klauser #include <future> 21f7558068SNikolas Klauser 22f7558068SNikolas Klauser #include "test_allocator.h" 23f7558068SNikolas Klauser 24f7558068SNikolas Klauser struct A {}; 25f7558068SNikolas Klauser using PT = std::packaged_task<A(int, char)>; 26f7558068SNikolas Klauser using VPT = volatile std::packaged_task<A(int, char)>; 27f7558068SNikolas Klauser 28f7558068SNikolas Klauser static_assert(!std::is_constructible<PT, std::allocator_arg_t, test_allocator<A>, VPT>::value, ""); 29f7558068SNikolas Klauser 30f7558068SNikolas Klauser using PA = std::packaged_task<A(int)>; 31f7558068SNikolas Klauser using PI = std::packaged_task<int(int)>; 32f7558068SNikolas Klauser 33f7558068SNikolas Klauser static_assert(!std::is_constructible<PA, std::allocator_arg_t, std::allocator<A>, const PA&>::value, ""); 34f7558068SNikolas Klauser static_assert(!std::is_constructible<PA, std::allocator_arg_t, std::allocator<A>, const PA&&>::value, ""); 35f7558068SNikolas Klauser static_assert(!std::is_constructible<PA, std::allocator_arg_t, std::allocator<A>, volatile PA&>::value, ""); 36f7558068SNikolas Klauser static_assert(!std::is_constructible<PA, std::allocator_arg_t, std::allocator<A>, volatile PA&&>::value, ""); 37f7558068SNikolas Klauser 38f7558068SNikolas Klauser static_assert( std::is_constructible<PA, std::allocator_arg_t, std::allocator<A>, const PI&>::value, ""); 39f7558068SNikolas Klauser static_assert( std::is_constructible<PA, std::allocator_arg_t, std::allocator<A>, const PI&&>::value, ""); 40f7558068SNikolas Klauser static_assert( std::is_constructible<PA, std::allocator_arg_t, std::allocator<A>, volatile PI&>::value, ""); 41f7558068SNikolas Klauser static_assert( std::is_constructible<PA, std::allocator_arg_t, std::allocator<A>, volatile PI&&>::value, ""); 42