Add testing case for InvalidTypeApplication

Author: ksss

smoke/diagnostics-rbs/invalid-type-application-class.rbs

@@ -0,0 +1,2 @@
+class InvalidTypeApplicationClass < String[String]
+end

smoke/diagnostics-rbs/invalid-type-application-module.rbs

@@ -0,0 +1,2 @@
+module InvalidTypeApplicationModule : String[int]
+end

smoke/diagnostics-rbs/test_expectations.yml

@@ -70,6 +70,30 @@
     severity: ERROR
     message: Cannot find a non-overloading definition of `foo` in `::InvalidMethodOverload`
     code: RBS::InvalidMethodOverload
+- file: invalid-type-application-class.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 36
+      end:
+        line: 1
+        character: 50
+    severity: ERROR
+    message: Type `::String` is not generic but used as a generic type with 1 arguments
+    code: RBS::InvalidTypeApplication
+- file: invalid-type-application-module.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 38
+      end:
+        line: 1
+        character: 49
+    severity: ERROR
+    message: Type `::String` is not generic but used as a generic type with 1 arguments
+    code: RBS::InvalidTypeApplication
 - file: invalid-type-application.rbs
   diagnostics:
   - range: