]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | // Copyright (C) 2006 Arkadiy Vertleyb |
2 | // Use, modification and distribution is subject to the Boost Software | |
3 | // License, Version 1.0. (http://www.boost.org/LICENSE_1_0.txt) | |
4 | ||
5 | #include "test.hpp" | |
6 | #include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP() | |
7 | ||
8 | template<class T, class U> | |
9 | struct t0; | |
10 | ||
11 | template<class T, int n> | |
12 | struct t1; | |
13 | ||
14 | template<template<class, class> class T, template<class, int> class U> | |
15 | struct t2; | |
16 | ||
17 | BOOST_TYPEOF_REGISTER_TEMPLATE(t0, 2) | |
18 | ||
19 | BOOST_TYPEOF_REGISTER_TEMPLATE(t1, (class)(int)) | |
20 | ||
21 | BOOST_TYPEOF_REGISTER_TEMPLATE(t2, | |
22 | (BOOST_TYPEOF_TEMPLATE(2)) | |
23 | (BOOST_TYPEOF_TEMPLATE((class)(int))) | |
24 | ) | |
25 | ||
26 | BOOST_STATIC_ASSERT((boost::type_of::test<t2<t0, t1> >::value)); |