Index: testsuite/20_util/add_const/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/add_const/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/add_const/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename add_const<int>::type,
+	               add_const_t<int>>(),
+               "add_const_t" );
+
+static_assert (is_same<typename add_const<const long>::type,
+                       add_const_t<const long>>(),
+	       "add_const_t" );
Index: testsuite/20_util/add_cv/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/add_cv/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/add_cv/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename add_cv<int>::type,
+	               add_cv_t<int>>(),
+               "add_cv_t" );
+
+static_assert (is_same<typename add_cv<const volatile long>::type,
+                       add_cv_t<const volatile long>>(),
+	       "add_cv_t" );
Index: testsuite/20_util/add_pointer/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/add_pointer/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/add_pointer/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename add_pointer<int>::type,
+	               add_pointer_t<int>>(),
+               "add_pointer_t" );
+
+static_assert (is_same<typename add_pointer<long*>::type,
+                       add_pointer_t<long*>>(),
+	       "add_pointer_t" );
Index: testsuite/20_util/add_volatile/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/add_volatile/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/add_volatile/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename add_volatile<int>::type,
+	               add_volatile_t<int>>(),
+               "add_volatile_t" );
+
+static_assert (is_same<typename add_volatile<volatile long>::type,
+                       add_volatile_t<volatile long>>(),
+	       "add_volatile_t" );
Index: testsuite/20_util/aligned_storage/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/aligned_storage/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/aligned_storage/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename aligned_storage<4>::type,
+	               aligned_storage_t<4>>(),
+               "aligned_storage_t" );
Index: testsuite/20_util/aligned_union/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/aligned_union/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/aligned_union/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,29 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename aligned_union<0, char, int>::type,
+	               aligned_union_t<0, char, int>>(),
+               "aligned_union_t" );
Index: testsuite/20_util/remove_all_extents/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/remove_all_extents/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/remove_all_extents/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename remove_all_extents<int>::type,
+	               remove_all_extents_t<int>>(),
+               "remove_all_extents_t" );
+
+static_assert (is_same<typename remove_all_extents<long[3][2]>::type,
+                       remove_all_extents_t<long[3][2]>>(),
+	       "remove_all_extents_t" );
Index: testsuite/20_util/remove_const/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/remove_const/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/remove_const/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename remove_const<int>::type,
+	               remove_const_t<int>>(),
+               "remove_const_t" );
+
+static_assert (is_same<typename remove_const<const long>::type,
+                       remove_const_t<const long>>(),
+	       "remove_const_t" );
Index: testsuite/20_util/remove_cv/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/remove_cv/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/remove_cv/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename remove_cv<int>::type,
+	               remove_cv_t<int>>(),
+               "remove_cv_t" );
+
+static_assert (is_same<typename remove_cv<const volatile long>::type,
+                       remove_cv_t<const volatile long>>(),
+	       "remove_cv_t" );
Index: testsuite/20_util/remove_extent/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/remove_extent/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/remove_extent/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename remove_extent<int>::type,
+	               remove_extent_t<int>>(),
+               "remove_extent_t" );
+
+static_assert (is_same<typename remove_extent<long[3]>::type,
+                       remove_extent_t<long[3]>>(),
+	       "remove_extent_t" );
Index: testsuite/20_util/remove_pointer/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/remove_pointer/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/remove_pointer/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename remove_pointer<int>::type,
+	               remove_pointer_t<int>>(),
+               "remove_pointer_t" );
+
+static_assert (is_same<typename remove_pointer<long*>::type,
+                       remove_pointer_t<long*>>(),
+	       "remove_pointer_t" );
Index: testsuite/20_util/remove_volatile/requirements/alias_decl.cc
===================================================================
--- testsuite/20_util/remove_volatile/requirements/alias_decl.cc	(revision 0)
+++ testsuite/20_util/remove_volatile/requirements/alias_decl.cc	(working copy)
@@ -0,0 +1,33 @@
+// { dg-options "-std=gnu++1y" }
+// { dg-do compile }
+
+// Copyright (C) 2014 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// NB: This file is for testing type_traits with NO OTHER INCLUDES.
+
+#include <type_traits>
+
+using namespace std;
+
+static_assert (is_same<typename remove_volatile<int>::type,
+	               remove_volatile_t<int>>(),
+               "remove_volatile_t" );
+
+static_assert (is_same<typename remove_volatile<volatile long>::type,
+                       remove_volatile_t<volatile long>>(),
+	       "remove_volatile_t" );
