Add characterization test for “.inhertited” bug

Author: amomchilov

spec/tapioca/runtime/generic_type_registry_spec.rb

@@ -77,6 +77,17 @@ class GenericTypeRegistrySpec < Minitest::Spec
             refute_same(result, RaisesInInheritedCallback)
             assert_operator(result, :<, RaisesInInheritedCallback)
           end
+
+          it "works for classes that specify a 'loose' sig on .inherited" do
+            # By "loose", we mean `T::Class[T.anything]` instead of `T::Class[SampleGenericClass[T.anything]]`
+            _ = HasNonRecursiveInheritedSig[Object]
+          end
+
+          it "FIXME: breaks from infinite recursion if the sig on .inherited uses the generic type" do
+            assert_raises(SystemStackError) do
+              HasRecursiveInheritedSig[Object]
+            end
+          end
         end
       end
 
@@ -98,6 +109,37 @@ def inherited(subclass)
           end
         end
       end
+
+      class HasNonRecursiveInheritedSig
+        extend T::Generic
+
+        Element = type_member
+
+        class << self
+          extend T::Sig
+
+          # The correct type would be `T::Class[SampleGenericClass[T.anything]]` not honey, that's recursion Pooh!
+          sig { params(subclass: T::Class[T.anything]).void }
+          def inherited(subclass)
+            super
+          end
+        end
+      end
+
+      class HasRecursiveInheritedSig
+        extend T::Generic
+
+        Element = type_member
+
+        class << self
+          extend T::Sig
+
+          sig { params(subclass: T::Class[HasRecursiveInheritedSig[T.anything]]).void }
+          def inherited(subclass)
+            super
+          end
+        end
+      end
     end
   end
 end