1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail21.bkp b/testsuite/tests/backpack/should_fail/bkpfail21.bkp
new file mode 100644
index 0000000000..322fe5172c
--- /dev/null
+++ b/testsuite/tests/backpack/should_fail/bkpfail21.bkp
@@ -0,0 +1,13 @@
+unit p where
+    signature A where
+        data T
+    signature C(T) where
+        import A
+unit q where
+    signature B where
+        data T
+    signature C(T) where
+        import B
+unit r where
+    dependency p[A=<H1>,C=<H3>]
+    dependency q[B=<H2>,C=<H3>]