add test case for unparameterized type instantiation

onflow · Apr 13, 2022 · a50651a · a50651a
1 parent a296fab
commit a50651a
Showing 1 changed file with 15 additions and 0 deletions.
diff --git 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])
+}