add tests that previously caused issues

Signed-off-by: Jade Abraham <[email protected]>
chapel-lang · Sep 9, 2024 · fae6d4f · fae6d4f
1 parent 874fb5b
commit fae6d4f
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 0 deletions.
diff --git a/test/constrained-generics/basic/set3/interface-in-proc.chpl b/test/constrained-generics/basic/set3/interface-in-proc.chpl
@@ -0,0 +1,9 @@
+interface I {}
+proc foo(i) {
+  record R: I {}
+
+  var r: R;
+  param p =  __primitive("implements interface", r, I);
+  compilerAssert(p == 0);
+}
+foo(2);
diff --git a/test/constrained-generics/basic/set3/interface-in-proc.good b/test/constrained-generics/basic/set3/interface-in-proc.good
diff --git a/test/constrained-generics/basic/set3/scoped-use-interface.chpl b/test/constrained-generics/basic/set3/scoped-use-interface.chpl
@@ -0,0 +1,12 @@
+module Other {
+  class CC { }
+  interface II { }
+}
+
+proc foo() {
+  use Other;
+
+  record R: II {}
+  class C: CC {}
+}
+foo();
diff --git a/test/constrained-generics/basic/set3/scoped-use-interface.good b/test/constrained-generics/basic/set3/scoped-use-interface.good