12175Sjp161948// 2004-12-12  Paolo Carlini  <pcarlini@suse.de>
22175Sjp161948//
32175Sjp161948// Copyright (C) 2004, 2009 Free Software Foundation, Inc.
42175Sjp161948//
52175Sjp161948// This file is part of the GNU ISO C++ Library.  This library is free
62175Sjp161948// software; you can redistribute it and/or modify it under the
72175Sjp161948// terms of the GNU General Public License as published by the
82175Sjp161948// Free Software Foundation; either version 3, or (at your option)
92175Sjp161948// any later version.
102175Sjp161948//
112175Sjp161948// This library is distributed in the hope that it will be useful,
122175Sjp161948// but WITHOUT ANY WARRANTY; without even the implied warranty of
132175Sjp161948// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
142175Sjp161948// GNU General Public License for more details.
152175Sjp161948//
162175Sjp161948// You should have received a copy of the GNU General Public License along
172175Sjp161948// with this library; see the file COPYING3.  If not see
182175Sjp161948// <http://www.gnu.org/licenses/>.
192175Sjp161948
202175Sjp161948//
212175Sjp161948// NB: This file is for testing tr1/type_traits with NO OTHER INCLUDES.
222175Sjp161948
232175Sjp161948#include <tr1/type_traits>
242175Sjp161948
252175Sjp161948// { dg-do compile }
262175Sjp161948
272175Sjp161948void test01()
282175Sjp161948{
292175Sjp161948  // Check for required typedefs
302175Sjp161948  typedef std::tr1::extent<int, 1>            test_type;
312175Sjp161948  typedef test_type::value_type               value_type;
322175Sjp161948  typedef test_type::type                     type;
332175Sjp161948  typedef test_type::type::value_type         type_value_type;
342175Sjp161948  typedef test_type::type::type               type_type;
352175Sjp161948}
362175Sjp161948