Validate type application for module-self-type

Author: ksss

lib/rbs/definition_builder/ancestor_builder.rb

@@ -244,6 +244,7 @@ def one_instance_ancestors(type_name)
           else
             entry.self_types.each do |module_self|
               NoSelfTypeFoundError.check!(module_self, env: env)
+              InvalidTypeApplicationError.check2!(type_name: module_self.name, args: module_self.args, env: env, location: module_self.location)
 
               module_name = module_self.name
               if module_name.class?

test/rbs/ancestor_builder_test.rb

@@ -671,7 +671,12 @@ class D
 
 class E < D[Integer]
 end
+
+module F : D[Integer]
+end
 EOF
+
+
       manager.build do |env|
         builder = DefinitionBuilder::AncestorBuilder.new(env: env)
 
@@ -690,6 +695,10 @@ class E < D[Integer]
         assert_raises InvalidTypeApplicationError do
           builder.instance_ancestors(type_name("::E"))
         end
+
+        assert_raises InvalidTypeApplicationError do
+          builder.instance_ancestors(type_name("::F"))
+        end
       end
     end
   end