xref: /llvm-project/libcxx/test/std/utilities/variant/variant.variant/variant_array.verify.cpp (revision 9bb9ec380ace81d040d3a0a0a2ae9a75733ab330)
1b82dcb62SLouis Dionne //===----------------------------------------------------------------------===//
2b82dcb62SLouis Dionne //
3b82dcb62SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4b82dcb62SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5b82dcb62SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6b82dcb62SLouis Dionne //
7b82dcb62SLouis Dionne //===----------------------------------------------------------------------===//
8b82dcb62SLouis Dionne 
9b82dcb62SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14
10b82dcb62SLouis Dionne 
11b82dcb62SLouis Dionne // <variant>
12b82dcb62SLouis Dionne 
13b82dcb62SLouis Dionne // template <class ...Types> class variant;
14b82dcb62SLouis Dionne 
15b82dcb62SLouis Dionne 
16b82dcb62SLouis Dionne #include <variant>
17b82dcb62SLouis Dionne #include <type_traits>
18b82dcb62SLouis Dionne #include <string>
19b82dcb62SLouis Dionne #include <cassert>
20b82dcb62SLouis Dionne 
21b82dcb62SLouis Dionne #include "test_macros.h"
22b82dcb62SLouis Dionne #include "variant_test_helpers.h"
23b82dcb62SLouis Dionne #include "test_convertible.h"
24b82dcb62SLouis Dionne 
main(int,char **)25b82dcb62SLouis Dionne int main(int, char**)
26b82dcb62SLouis Dionne {
27*9bb9ec38SLouis Dionne     // expected-error@variant:* 3 {{static assertion failed}}
28b82dcb62SLouis Dionne     std::variant<int, int[]> v; // expected-note {{requested here}}
29b82dcb62SLouis Dionne     std::variant<int, int[42]> v2; // expected-note {{requested here}}
30b82dcb62SLouis Dionne     std::variant<int, int[][42]> v3; // expected-note {{requested here}}
31b82dcb62SLouis Dionne 
32b82dcb62SLouis Dionne   return 0;
33b82dcb62SLouis Dionne }
34