T.proc.bind does not work with generic

[hdoan741]

Input

→ View on sorbet.run

Observed output

editor.rb:8: Malformed bind: Can only bind to simple class names https://srb.help/5003
     8 |  sig { params(block: T.proc.bind(Elem).void).void }
                              ^^^^^^^^^^^^^^^^^

Expected behavior

It should be possible to bind the proc to generic class.

---

[hdoan741]

@elliottt @alexevanczuk

[jacobobq]

Support for this would be extremely useful to allow typing of things like RSpec describe and described_class in this fashion:

    sig do
      type_parameters(:DescribedClass)
        .params(
          described_class: T::Class[T.type_parameter(:DescribedClass)],
          args: T.untyped,
          example_group_block:
            T.proc.bind(DescribedClassContext[T.type_parameter(:DescribedClass)]).void
        )
        .void
    end
    def describe(described_class, *args, &example_group_block)
    end

[marknuzz]

Would love to see this as well. It would help a lot with prototyping ActiveAdmin resources or things of that nature