//  (C) Copyright John Maddock 2001. 
//  Use, modification and distribution are subject to the 
//  Boost Software License, Version 1.0. (See accompanying file 
//  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)

//  See http://www.boost.org/libs/config for most recent version.

//  MACRO:         BOOST_NO_DEPENDENT_TYPES_IN_TEMPLATE_VALUE_PARAMETERS
//  TITLE:         dependent non-type template parameters
//  DESCRIPTION:   Template value parameters cannot have a dependent 
//                 type, for example:
//                 template<class T, typename T::type value> 
//                 class X { ... };


namespace boost_no_dependent_types_in_template_value_parameters{

template <class T, typename T::type value = 0>
class X
{};

template <class T>
struct typifier
{
   typedef T type;
};

int test()
{
   X<typifier<int> > x;
   (void) &x;        // avoid "unused variable" warning
   return 0;
}

}