[PATCH] D126674: [clang] NFC: introduce test for D126620

[Matheus Izvekov via Phabricator via cfe-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rGc825abd6b019: [clang] NFC: introduce test for D126620 
(authored by mizvekov).

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D126674/new/

https://reviews.llvm.org/D126674

Files:
  clang/test/CXX/temp/temp.decls/temp.class.spec/p6.cpp


Index: clang/test/CXX/temp/temp.decls/temp.class.spec/p6.cpp
===================================================================
--- clang/test/CXX/temp/temp.decls/temp.class.spec/p6.cpp
+++ clang/test/CXX/temp/temp.decls/temp.class.spec/p6.cpp
@@ -74,3 +74,16 @@
   int array0[Outer<int>::Inner<int, int>::value? 1 : -1];
   int array1[Outer<int>::Inner<int, float>::value? -1 : 1];
 }
+
+namespace print_dependent_TemplateSpecializationType {
+
+template <class T, class U> struct Foo {
+  template <unsigned long, class X, class Y> struct Bar;
+  template <class Y> struct Bar<0, T, Y> {};
+  // expected-note-re@-1 {{previous declaration {{.*}} 'Bar<0UL, int, 
type-parameter-0-0>' is here}}
+  template <class Y> struct Bar<0, U, Y> {};
+  // expected-error@-1 {{partial specialization 'Bar<0, int, Y>' cannot be 
redeclared}}
+};
+template struct Foo<int, int>; // expected-note {{requested here}}
+
+} // namespace print_dependent_TemplateSpecializationType



Index: clang/test/CXX/temp/temp.decls/temp.class.spec/p6.cpp
===================================================================
--- clang/test/CXX/temp/temp.decls/temp.class.spec/p6.cpp
+++ clang/test/CXX/temp/temp.decls/temp.class.spec/p6.cpp
@@ -74,3 +74,16 @@
   int array0[Outer<int>::Inner<int, int>::value? 1 : -1];
   int array1[Outer<int>::Inner<int, float>::value? -1 : 1];
 }
+
+namespace print_dependent_TemplateSpecializationType {
+
+template <class T, class U> struct Foo {
+  template <unsigned long, class X, class Y> struct Bar;
+  template <class Y> struct Bar<0, T, Y> {};
+  // expected-note-re@-1 {{previous declaration {{.*}} 'Bar<0UL, int, type-parameter-0-0>' is here}}
+  template <class Y> struct Bar<0, U, Y> {};
+  // expected-error@-1 {{partial specialization 'Bar<0, int, Y>' cannot be redeclared}}
+};
+template struct Foo<int, int>; // expected-note {{requested here}}
+
+} // namespace print_dependent_TemplateSpecializationType

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits