diff --git a/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf
new file mode 100644
index 000000000..89e772bef
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf
@@ -0,0 +1,6 @@
+abstract LetInTypesAbs = {
+
+fun f : let id = Int -> Int
+        in id -> id ;
+
+}
\ No newline at end of file
diff --git a/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs
new file mode 100644
index 000000000..e6901e47b
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs
@@ -0,0 +1,2 @@
+i -src testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf
+ai f
\ No newline at end of file
diff --git a/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs.gold b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs.gold
new file mode 100644
index 000000000..784f3fa8c
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs.gold
@@ -0,0 +1 @@
+fun f : (Int -> Int) -> Int -> Int