From a50651af64bd04baa482748b902f137b42908515 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bastian=20M=C3=BCller?= <bastian@axiomzen.co>
Date: Wed, 13 Apr 2022 15:46:24 -0700
Subject: [PATCH] add test case for unparameterized type instantiation

---
 runtime/tests/checker/genericfunction_test.go | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/runtime/tests/checker/genericfunction_test.go b/runtime/tests/checker/genericfunction_test.go
index 44a0f7292..5409b3d0d 100644
--- a/runtime/tests/checker/genericfunction_test.go
+++ b/runtime/tests/checker/genericfunction_test.go
@@ -922,3 +922,18 @@ func TestCheckBorrowOfCapabilityWithoutTypeArgument(t *testing.T) {
 
 	require.NoError(t, err)
 }
+
+func TestCheckUnparameterizedTypeInstantiationE(t *testing.T) {
+
+	t.Parallel()
+
+	_, err := ParseAndCheckWithPanic(t, `
+      struct S {}
+
+      let s: S<Int> = panic("")
+    `)
+
+	errs := ExpectCheckerErrors(t, err, 1)
+
+	assert.IsType(t, &sema.UnparameterizedTypeInstantiationError{}, errs[0])
+}