From 9e47481b73d7919fce06d7a1091f35079f82bbaf Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Tue, 1 Oct 2024 12:14:19 +0200
Subject: [PATCH] add test

---
 test/Typecheck/NegativeNew.hs           | 7 +++++++
 tests/negative/Internal/issue3074.juvix | 7 +++++++
 2 files changed, 14 insertions(+)
 create mode 100644 tests/negative/Internal/issue3074.juvix

diff --git a/test/Typecheck/NegativeNew.hs b/test/Typecheck/NegativeNew.hs
index 3fcfb9a8a0..1ecd635943 100644
--- a/test/Typecheck/NegativeNew.hs
+++ b/test/Typecheck/NegativeNew.hs
@@ -98,6 +98,13 @@ arityTests =
       $ \case
         ErrExpectedFunctionType {} -> Nothing
         _ -> wrongError,
+    negTest
+      "Implicit name argument without name"
+      $(mkRelDir "Internal")
+      $(mkRelFile "issue3074.juvix")
+      $ \case
+        ErrUnsolvedMeta {} -> Nothing
+        _ -> wrongError,
     negArityTest
       "Expected explicit pattern"
       $(mkRelDir "Internal")
diff --git a/tests/negative/Internal/issue3074.juvix b/tests/negative/Internal/issue3074.juvix
new file mode 100644
index 0000000000..086aa083f3
--- /dev/null
+++ b/tests/negative/Internal/issue3074.juvix
@@ -0,0 +1,7 @@
+module issue3074;
+
+type T := mkT;
+
+fun {_ : T} : {A : Type} -> T := mkT;
+
+x : T := fun@{A := T};