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 | // UNSUPPORTED: c++03, c++11, c++14 |
10 | |
11 | // template <class _Tp, template <class...> class _Template> |
12 | // inline constexpr bool __is_specialization_v = true if and only if _Tp is a specialization of _Template |
13 | // |
14 | // Tests the ill-formed instantiations. |
15 | |
16 | #include <type_traits> |
17 | |
18 | #include <array> |
19 | #include <utility> |
20 | |
21 | // expected-error@+1 {{template template argument has different template parameters than its corresponding template template parameter}} |
22 | static_assert(!std::__is_specialization_v<std::pair<int, std::size_t>, std::array>); |
23 | |