Fix dlang#10603 - toDelegate accepts but can’t handle a templated `…

…opCall` (dlang#10602)
0xEAB · Dec 30, 2024 · 4c4c37a · 4c4c37a
1 parent 8c6fca9
commit 4c4c37a
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/std/functional.d b/std/functional.d
@@ -1819,6 +1819,10 @@ if (isCallable!(F))
     {
         return toDelegate(&fp.opCall);
     }
+    else static if (is(typeof(&fp.opCall!())))
+    {
+        return toDelegate(&fp.opCall!());
+    }
     else
     {
         alias DelType = typeof(&(new DelegateFaker!(F)).doIt);
@@ -1949,6 +1953,20 @@ if (isCallable!(F))
     }
 }
 
+
+@system unittest
+{
+    static struct S1 { static void opCall()() { } }
+    static struct S2 { static T opCall(T = int)(T x) {return x; } }
+
+    S1 i1;
+    const dg1 = toDelegate(i1);
+    dg1();
+
+    S2 i2;
+    assert(toDelegate(i2)(0xBED) == 0xBED);
+}
+
 /**
  * Passes the fields of a struct as arguments to a function.
  *