Prime's signature is broken

[ksss]

In steep check show ModuleSelfTypeError in prime.rbs if import prime signature.

../../../../.rbenv/versions/3.1.1/lib/ruby/gems/3.1.0/gems/rbs-2.2.2/stdlib/prime/0/prime.rbs:47:2: [error] Module self type constraint in type `::Prime` doesn't satisfy: `::Prime <: ::_Each[::Integer]`
│ Diagnostic ID: RBS::ModuleSelfTypeError
│
└   include Enumerable[Integer]
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~

Prime.each
Prime.instance.each # Ruby::NoMethod (Type `::Prime` does not have method `each`)

In prime.rbs defined each method with self? prefix.

rbs/stdlib/prime/0/prime.rbs

Lines 79 to 80 in 47468ad

	def self?.each: (?Integer? ubound, ?PseudoPrimeGenerator generator) { (Integer) -> void } -> void
	| (?Integer? ubound, ?PseudoPrimeGenerator generator) -> PseudoPrimeGenerator

The documentation states the following.
https://github.com/ruby/rbs/blob/master/docs/syntax.md#method-definition

self? method definition adds two methods: a public singleton method and a private instance method, which is equivalent to module_function in Ruby.

Is self? intentional?
Is this an rbs problem? Or is it a steep problem?

[soutaro]

Nice catch!

I'm sorry for the error. This problem is occurred by the change of the semantics of self? syntax. It was to define two methods, with the same visibility.

I think we need two defs, for public singleton method and public instance method respectively.

[ksss]

Thank you for the response.
Fixed ✨