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 = panic("") + `) + + errs := ExpectCheckerErrors(t, err, 1) + + assert.IsType(t, &sema.UnparameterizedTypeInstantiationError{}, errs[0]) +}