re PR c++/23691 (`mpl_::bool_<false>::value' is not a valid template argument...

re PR c++/23691 (`mpl_::bool_<false>::value' is not a valid template argument for type `bool' because it is a non-constant expression)

	PR c++/23691
	* g++.dg/template/static16.C: New test.

From-SVN: r104186

gcc/testsuite/ChangeLog

+2005-09-12  Mark Mitchell  <mark@codesourcery.com>
+
+	PR c++/23691
+	* g++.dg/template/static16.C: New test.
+
 2005-09-12  Josh Conner  <jconner@apple.com>
 	PR middle-end/23237
@@ -103,11 +108,6 @@
 	PR fortran/23765
 	* gfortran.dg/common_6.f90: New test.
-2005-09-08  Mark Mitchell  <mark@codesourcery.com>
-
-	PR c++/23691
-	* g++.dg/template/static16.C: New test.
-
 2005-09-08  Richard Sandiford  <richard@codesourcery.com>
 	PR fortran/15326

gcc/testsuite/g++.dg/template/static16.C

+// PR c++/23691
+
+namespace std {
+  class type_info {
+    bool operator==(const type_info& __arg) const;
+  };
+}
+template <class T, T val> struct integral_constant {
+  static const T value = val;
+};
+template< typename T > struct is_integral : integral_constant<bool,false> {};
+template <bool B>   struct enable_if_c {};
+template<typename Functor>
+typename enable_if_c<(is_integral<Functor>::value)>::type
+operator==(const int& f, Functor g);
+template<class D>
+int get_deleter( std::type_info const & ti )
+{
+  return ti == typeid(D);
+}