1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail35.bkp b/testsuite/tests/backpack/should_fail/bkpfail35.bkp
new file mode 100644
index 0000000000..adfc14aa28
--- /dev/null
+++ b/testsuite/tests/backpack/should_fail/bkpfail35.bkp
@@ -0,0 +1,13 @@
+unit p where
+    signature A where
+        x :: Bool
+        y :: Bool
+    module B where
+unit q where
+    dependency signature p[A=<A>]
+    signature A (x) where
+unit aimpl where
+    module A where
+        x = True
+unit r where
+    dependency q[A=aimpl:A]