[pmarreck]

What does it do with your library code that isn't type-specified? If it infers types, isn't there a limit as to how far that can go?

[dbalatero]

Not sure what Ruby core will do, but Sorbet will type everything as T.untyped in the absence of type hints. Libraries can progressively provide rbi files to add first class type support though.