Validate type application for superclass

Author: ksss

lib/rbs/definition_builder/ancestor_builder.rb

@@ -217,6 +217,7 @@ def one_instance_ancestors(type_name)
             NoSuperclassFoundError.check!(super_name, env: env, location: primary.decl.location)
             if super_class
               InheritModuleError.check!(super_class, env: env)
+              InvalidTypeApplicationError.check2!(type_name: super_class.name, args: super_class.args, env: env, location: super_class.location)
             end
 
             super_entry = env.normalized_class_entry(super_name) or raise

test/rbs/ancestor_builder_test.rb

@@ -665,6 +665,12 @@ class B < Y[Integer, void]
 class C
   extend X
 end
+
+class D
+end
+
+class E < D[Integer]
+end
 EOF
       manager.build do |env|
         builder = DefinitionBuilder::AncestorBuilder.new(env: env)
@@ -680,6 +686,10 @@ class C
         assert_raises InvalidTypeApplicationError do
           builder.singleton_ancestors(type_name("::C"))
         end
+
+        assert_raises InvalidTypeApplicationError do
+          builder.instance_ancestors(type_name("::E"))
+        end
       end
     end
   end