fix Issue 16572 - can't take inout delegate

- fix error to account for inout (MODwild) matches
dlang · Oct 14, 2016 · 847baa9 · 847baa9 · TurkeyMan · Oct 17, 2016
1 parent 7ddb346
commit 847baa9
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/src/expression.d b/src/expression.d
@@ -9408,7 +9408,7 @@ extern (C++) final class DelegateExp : UnaExp
         if (f.type.ty == Tfunction)
         {
             TypeFunction tf = cast(TypeFunction)f.type;
-            if (!MODimplicitConv(e1.type.mod, f.type.mod))
+            if (!MODmethodConv(e1.type.mod, f.type.mod))
             {
                 OutBuffer thisBuf, funcBuf;
                 MODMatchToBuffer(&thisBuf, e1.type.mod, tf.mod);

diff --git a/test/compilable/test16572.d b/test/compilable/test16572.d
@@ -0,0 +1,15 @@
+class K
+{
+    inout(int) f() inout
+    {
+        return var;
+    }
+
+    void bug()
+    {
+        auto d = &f;
+        d();
+    }
+
+    int var;
+}