1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // <stack>
10 // UNSUPPORTED: c++03, c++11, c++14
11 // UNSUPPORTED: libcpp-no-deduction-guides
12
13
14 // template <class InputIterator, class Allocator = allocator<typename iterator_traits<InputIterator>::value_type>>
15 // vector(InputIterator, InputIterator, Allocator = Allocator())
16 // -> vector<typename iterator_traits<InputIterator>::value_type, Allocator>;
17 //
18
19
20 #include <stack>
21 #include <list>
22 #include <iterator>
23 #include <cassert>
24 #include <cstddef>
25
26
main(int,char **)27 int main(int, char**)
28 {
29 // Test the explicit deduction guides
30 {
31 // stack(const Container&, const Alloc&);
32 // The '45' is not an allocator
33 std::stack stk(std::list<int>({1,2,3}), 45); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'stack'}}
34 }
35
36 {
37 // stack(const stack&, const Alloc&);
38 // The '45' is not an allocator
39 std::stack<int> source;
40 std::stack stk(source, 45); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'stack'}}
41 }
42
43 // Test the implicit deduction guides
44 {
45 // stack (allocator &)
46 std::stack stk((std::allocator<int>())); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'stack'}}
47 // Note: The extra parens are necessary, since otherwise clang decides it is a function declaration.
48 // Also, we can't use {} instead of parens, because that constructs a
49 // stack<allocator<int>, allocator<allocator<int>>>
50 }
51
52
53 return 0;
54 }
55