From bed3a4433cba6ec877663d4b606399f854975fb4 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Fri, 6 Sep 2024 12:12:24 +0200
Subject: [PATCH] add test

---
 test/Scope/Positive.hs         | 4 ++++
 tests/positive/issue2999.juvix | 7 +++++++
 2 files changed, 11 insertions(+)
 create mode 100644 tests/positive/issue2999.juvix

diff --git a/test/Scope/Positive.hs b/test/Scope/Positive.hs
index a0eebda0d4..2c27ecdafa 100644
--- a/test/Scope/Positive.hs
+++ b/test/Scope/Positive.hs
@@ -258,6 +258,10 @@ tests =
       "Record field iterator"
       $(mkRelDir ".")
       $(mkRelFile "RecordIterator.juvix"),
+    posTest
+      "Forward reference name signature"
+      $(mkRelDir ".")
+      $(mkRelFile "issue2999.juvix"),
     posTest
       "Scan name with 'import' prefix"
       $(mkRelDir "issue2929")
diff --git a/tests/positive/issue2999.juvix b/tests/positive/issue2999.juvix
new file mode 100644
index 0000000000..b1e3a5023e
--- /dev/null
+++ b/tests/positive/issue2999.juvix
@@ -0,0 +1,7 @@
+module issue2999;
+
+type T := t;
+
+fun : T := namedFun@{x := t}; -- error
+
+namedFun (x : T) : T := t;