re PR c++/57253 (GCC ignores ref-qualifiers of pseudo-function types in explicit specializations)

	PR c++/57253
	* decl.c (grokdeclarator): Apply ref-qualifier
	in the TYPENAME case.

From-SVN: r198842

gcc/cp/ChangeLog

 2013-05-13  Jason Merrill  <jason@redhat.com>
 
+	PR c++/57253
+	* decl.c (grokdeclarator): Apply ref-qualifier
+	in the TYPENAME case.
+
 	PR c++/57252
 	* decl.c (decls_match): Compare ref-qualifiers.
 

gcc/cp/decl.c

@@ -10284,7 +10284,7 @@ grokdeclarator (const cp_declarator *declarator,
 	      type = void_type_node;
 	    }
 	}
-      else if (memfn_quals)
+      else if (memfn_quals || rqual)
 	{
 	  if (ctype == NULL_TREE
 	      && TREE_CODE (type) == METHOD_TYPE)

gcc/testsuite/g++.dg/cpp0x/ref-qual11.C

+// PR c++/57253
+// { dg-require-effective-target c++11 }
+
+template<typename T> struct foo;
+
+template<> struct foo<void()&> {};
+template<> struct foo<void()> {};
+
+int main()
+{}