--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-85713-2.C	Thu Oct 25 07:37:49 2018 +0900
@@ -0,0 +1,7 @@
+// PR c++/85713
+// { dg-do compile { target c++14 } }
+
+auto l4 = [](auto v, auto (&array (int)) [5]) -> int { return v + array[0]; };
+auto l5 = [](auto v, auto (&array (auto)) [5]) -> int { return v + array[0]; };
+auto l6 = [](auto v, auto (&array (int int)) [5]) -> int { return v + array[0]; };  // { dg-error "two or more data types" }
+auto l7 = [](auto v, auto (&array (int auto)) [5]) -> int { return v + array[0]; };  // { dg-error "two or more data types" }