diff --git a/exl/borrow.fzs b/exl/borrow.fzs
index 15658b7..660be89 100644
--- a/exl/borrow.fzs
+++ b/exl/borrow.fzs
@@ -17,6 +17,14 @@ fn doSome(A a) A
   return a;
 }
 
+fn doSomeNew() A
+{
+  if (1 == 1)
+  {
+    return new A;
+  }
+}
+
 A a = new A;
 a.some = 0;
 printline(a);
@@ -24,3 +32,6 @@ printline(a);
 a = doSome(a);
 printline(a);
 
+b = doSomeNew();
+printline(b);
+