Merge pull request #8086 from WalterBright/fix18661

fix Issue 18661 - auto ref and return attribute inference merged-on-behalf-of: Jacob Carlborg <jacob-carlborg@users.noreply.github.com>
dlang · Mar 26, 2018 · e1f2be6 · e1f2be6
2 parents 25bc021 + 2b9d203
commit e1f2be6
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/src/dmd/statementsem.d b/src/dmd/statementsem.d
@@ -3139,6 +3139,8 @@ else
                      */
                     if (checkReturnEscapeRef(sc, rs.exp, true))
                         turnOffRef();
+                    else if (!rs.exp.type.constConv(tf.next))
+                        turnOffRef();
                 }
                 else
                     turnOffRef();

diff --git a/test/compilable/test17512.d b/test/compilable/test17512.d
@@ -13,3 +13,14 @@ struct A
 }
 
 A a;
+
+// https://issues.dlang.org/show_bug.cgi?id=18661
+
+struct S0(T)
+{
+    int a;
+    auto ref immutable(int) getA() { return a; }
+}
+
+alias B = S0!int;
+