diff --git a/gcc/testsuite/g++.dg/template/partial-specialization9.C b/gcc/testsuite/g++.dg/template/partial-specialization9.C
new file mode 100644
index 00000000000..49f3500b180
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/partial-specialization9.C
@@ -0,0 +1,7 @@
+// PR c++/77435
+
+template<int, class T, T> struct S;
+template<class T, T A> struct S<0, T, A> {};
+int i;
+S<0, int*, &i> r;  // OK
+S<0, int&, i> s;   // error: aggregate 'S<0, int&, i> s' has incomplete type