Tests to resolve previous bugs

test/arrays/intents/in/defaultValueWithInIntent.chpl

@@ -0,0 +1,8 @@
+// test from https://github.com/chapel-lang/chapel/issues/11424
+var emptyArray: [1..0] string;
+
+proc f(in x: [] string = emptyArray) {
+  writeln(x.size);
+}
+
+f(['f']);

test/arrays/intents/in/defaultValueWithInIntent.good

@@ -0,0 +1 @@
+1

test/classes/deinitializers/owned-with-deinit.chpl

@@ -0,0 +1,21 @@
+// modified from https://github.com/chapel-lang/chapel/issues/12973
+// Basically a singly linked list.
+class A {
+  var x: int;
+  var next: owned A?;
+
+  proc deinit() {
+    while next {
+      next = next!.next;
+    }
+  }
+}
+
+proc test(type T) {
+  var x = new T(1);
+  var y = new T(2, x);
+  var z = new T(3, y);
+  writeln(z);
+}
+
+test(owned A);

test/classes/deinitializers/owned-with-deinit.good

@@ -0,0 +1 @@
+{x = 3, next = {x = 2, next = {x = 1, next = nil}}}

test/classes/delete-free/shared/shared-in-map-list.chpl

@@ -0,0 +1,14 @@
+// modified from https://github.com/chapel-lang/chapel/issues/14713
+use Map;
+use List;
+
+class Node { }
+
+var children: map(string, shared Node?);
+var n = new shared Node();
+children.add('key', n);
+writeln(children);
+
+var childrenList: list(shared Node?);
+childrenList.append(n);
+writeln(childrenList);

test/classes/delete-free/shared/shared-in-map-list.good

@@ -0,0 +1,2 @@
+{key: {}}
+[{}]

test/classes/errors/newWithoutParen.chpl

@@ -0,0 +1,33 @@
+// modified from https://github.com/chapel-lang/chapel/issues/13201
+// removed R1, as it does not work today due to other reasons and is not
+// central to demonstrating this issue
+
+class C {
+  var x: int = 0;
+}
+
+class D {
+  type T;
+  var x: T;
+}
+
+record R2 {
+  type T;
+  var x: T;
+
+  proc postinit() {
+    // expect: false
+    writeln(test1());
+  }
+  proc test1(): bool {
+    x = new T; // should not compile due to this
+    return x == nil;
+  }
+}
+
+proc main() {
+  var c2 = new R2(owned C?);
+  var d2 = new R2(owned D(int)?);
+
+  writeln("This code should not compile.");
+}

test/classes/errors/newWithoutParen.good

@@ -0,0 +1 @@
+newWithoutParen.chpl:23: syntax error: 'new' expression is missing its argument list

test/classes/fields/type-resolve-array-field.chpl

@@ -0,0 +1,14 @@
+// modified from https://github.com/chapel-lang/chapel/issues/11421
+class C {
+  var dom = {1..4};
+  var arr: [dom] real = 0.0;
+}
+
+var data: [1..2] real;
+
+operator +(c1: owned C , c2: owned C) {
+  return c1;
+}
+
+var c = new owned C();
+writeln(c.arr);

test/classes/fields/type-resolve-array-field.good

@@ -0,0 +1 @@
+0.0 0.0 0.0 0.0

test/functions/lambda/lambdaCapturing.chpl

@@ -0,0 +1,9 @@
+// test from https://github.com/chapel-lang/chapel/issues/5544
+proc times2(f) {
+  return 2*f();
+}
+proc test(k : int) {
+  var func = lambda() { return k;};
+  writeln(times2(func));
+}
+test(2);

test/functions/lambda/lambdaCapturing.good

@@ -0,0 +1,3 @@
+lambdaCapturing.chpl:5: In function 'test':
+lambdaCapturing.chpl:6: error: cannot capture lambda because it refers to outer variables
+lambdaCapturing.chpl:6: note: such as 'k', here

test/library/standard/Map/getBorrowFromFunc.chpl

@@ -0,0 +1,31 @@
+// modified from https://github.com/chapel-lang/chapel/issues/14370
+use Map;
+
+class C	{
+  var x: int;
+}
+
+var m: map(string, shared C);
+
+// original test used `this` accessor
+// which is invalid for non-default initializable classes on an empty slot
+// correctly throws an error in this case
+// m["hi"] = new shared C(42);
+
+m.add("hi", new shared C(42));
+
+proc foo1(): borrowed C {
+  return m["hi"].borrow();
+}
+proc foo2(): borrowed C {
+  return m["hi"]; 
+}
+
+{
+  var elm = foo1();
+  writeln(elm, " ", elm.type:string);
+}
+{
+  var elm = foo2();
+  writeln(elm, " ", elm.type:string);
+}

test/library/standard/Map/getBorrowFromFunc.good

@@ -0,0 +1,2 @@
+{x = 42} borrowed C
+{x = 42} borrowed C