Merge pull request #1582 from onflow/bastian/type-instantiation-test

onflow · Apr 14, 2022 · 477f6ab · 477f6ab
2 parents a296fab + a50651a
commit 477f6ab
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])
+}