steep does not detect uninitialized constant

[stereobooster]

B.new

https://github.com/stereobooster/diamondback-ruby/tree/master/examples#6

[soutaro]

In fact, this is by design.

You have to add an annotation to specify type of constants like # @type const B: String.class. You can use --fallback-any-is-error option to identify if unknown (to steep) constant is referred.

Type of a constant cannot be determined until the execution reaches. It may be re-assigned or declaring a new constant in somewhere else may change the result of constant resolution.

(I know this behavior may be unacceptable because it requires too many boilerplates. I am planning to have some new feature to help to declare types of constants.)

[stereobooster]

I see. Do you have opinion on Bidirectional Typechecking? Is it applicable to ruby?