Suggested sig for method with generics does not redeclare type_parameters

[jez]

Input

→ View on sorbet.run

# typed: true

class MyAbstractClass
  extend T::Sig, T::Helpers
  abstract!

  sig {abstract.type_parameters(:U).params(x: T.type_parameter(:U)).returns(T.type_parameter(:U))}
  def example(x); end
end

class MyClass < MyAbstractClass
end

Observed output

editor.rb:11: Missing definition for abstract method `MyAbstractClass#example` https://srb.help/5023
    11 |class MyClass < MyAbstractClass
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    editor.rb:8: example defined here
     8 |  def example(x); end
          ^^^^^^^^^^^^^^
  Autocorrect: Use -a to autocorrect
    editor.rb:12: Insert sig {override.params(x: T.type_parameter(:U)).returns(T.type_parameter(:U))}
      def example(x); end
    12 |end
        ^
Errors: 1

Expected behavior

---