Sorbet can be used inline without external file decorators already and RBS is adding support too[2].

I would not be surprised if that typing information starts finding its way into YJIT for performance improvements.

1. https://sorbet.org/docs/type-assertions

2. https://github.com/soutaro/rbs-inline