mirror of
https://github.com/boostorg/typeof.git
synced 2026-01-19 04:42:14 +00:00
27 lines
761 B
C++
27 lines
761 B
C++
// Copyright (C) 2006 Arkadiy Vertleyb
|
|
// Use, modification and distribution is subject to the Boost Software
|
|
// License, Version 1.0. (http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
#include "test.hpp"
|
|
#include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
|
|
|
|
template<class T, class U>
|
|
struct t0;
|
|
|
|
template<class T, int n>
|
|
struct t1;
|
|
|
|
template<template<class, class> class T, template<class, int> class U>
|
|
struct t2;
|
|
|
|
BOOST_TYPEOF_REGISTER_TEMPLATE(t0, 2)
|
|
|
|
BOOST_TYPEOF_REGISTER_TEMPLATE(t1, (class)(int))
|
|
|
|
BOOST_TYPEOF_REGISTER_TEMPLATE(t2,
|
|
(BOOST_TYPEOF_TEMPLATE(2))
|
|
(BOOST_TYPEOF_TEMPLATE((class)(int)))
|
|
)
|
|
|
|
BOOST_STATIC_ASSERT((boost::type_of::test<t2<t0, t1> >::value));
|