fix Issue 11242 - Fails to infer template argument with inout

dlang · Oct 14, 2013 · 81e6841 · 81e6841
1 parent fc9b88c
commit 81e6841
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/src/template.c b/src/template.c
@@ -3362,7 +3362,7 @@ MATCH Type::deduceType(Scope *sc, Type *tparam, TemplateParameters *parameters,
 
     if (nextOf())
     {
-        if (tparam->deco)
+        if (tparam->deco && !tparam->hasWild())
             return implicitConvTo(tparam);
 
         return nextOf()->deduceType(sc, tparam->nextOf(), parameters, dedtypes, wildmatch);

diff --git a/test/runnable/template9.d b/test/runnable/template9.d
@@ -2804,6 +2804,20 @@ void test10592()
     assert(x.put("abcde"d) == 2);   // OK: hit 2
 }
 
+/******************************************/
+// 11242
+
+inout(T[]) fromString11242(T)(inout(char[]) s, T[] dst)
+{
+    return s;
+}
+
+void test11242()
+{
+    char[] a;
+    fromString11242(a, a);
+}
+
 /******************************************/
 // 10811
 
@@ -2925,6 +2939,7 @@ int main()
     test9977();
     test10083();
     test10592();
+    test11242();
     test10811();
     test10969();