diff --git a/test/fail/issue167.as b/test/fail/issue167.as
new file mode 100644
index 00000000000..36f9d822801
--- /dev/null
+++ b/test/fail/issue167.as
@@ -0,0 +1 @@
+type F<A> = A<Int>;
diff --git a/test/fail/ok/issue167.tc.ok b/test/fail/ok/issue167.tc.ok
new file mode 100644
index 00000000000..bee902a2a10
--- /dev/null
+++ b/test/fail/ok/issue167.tc.ok
@@ -0,0 +1,2 @@
+issue167.as:1.13-1.19: type error, too many type arguments
+issue167.as:1.13-1.19: type error, too many type arguments