From fae6d4f1dd06761db0a896b33037e8930a4e1976 Mon Sep 17 00:00:00 2001 From: Jade Abraham Date: Mon, 9 Sep 2024 14:24:24 -0700 Subject: [PATCH] add tests that previously caused issues Signed-off-by: Jade Abraham --- .../basic/set3/interface-in-proc.chpl | 9 +++++++++ .../basic/set3/interface-in-proc.good | 0 .../basic/set3/scoped-use-interface.chpl | 12 ++++++++++++ .../basic/set3/scoped-use-interface.good | 0 4 files changed, 21 insertions(+) create mode 100644 test/constrained-generics/basic/set3/interface-in-proc.chpl create mode 100644 test/constrained-generics/basic/set3/interface-in-proc.good create mode 100644 test/constrained-generics/basic/set3/scoped-use-interface.chpl create mode 100644 test/constrained-generics/basic/set3/scoped-use-interface.good diff --git a/test/constrained-generics/basic/set3/interface-in-proc.chpl b/test/constrained-generics/basic/set3/interface-in-proc.chpl new file mode 100644 index 000000000000..479a6decb540 --- /dev/null +++ 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 new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/test/constrained-generics/basic/set3/scoped-use-interface.chpl b/test/constrained-generics/basic/set3/scoped-use-interface.chpl new file mode 100644 index 000000000000..1ff04b47e7ad --- /dev/null +++ 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 new file mode 100644 index 000000000000..e69de29bb2d1