Merge pull request diffblue#2341 from tautschnig/c++-qualified

C++ front-end: qualified template specialisation can just be accepted

Author: Daniel Kroening

regression/cpp/Qualifiers_In_Template_Specialisation1/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$

regression/cpp/Template_Instantiation2/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$

src/cpp/cpp_typecheck_template.cpp

@@ -635,13 +635,6 @@ void cpp_typecheckt::convert_template_function_or_member_specialization(
   cpp_declaratort declarator=declaration.declarators().front();
   cpp_namet &cpp_name=declarator.name();
 
-  if(cpp_name.is_qualified())
-  {
-    error().source_location=cpp_name.source_location();
-    error() << "qualifiers not expected here" << eom;
-    throw 0;
-  }
-
   // There is specialization (instantiation with template arguments)
   // but also function overloading (no template arguments)