This is a quick list of features and the planned version numbers to ship the feature.

This is features without specific plan of release.

• Better type-case on union with method return type
• Variables over method parameter types
• Top type assumption
• Inline RBS declaration
• Untyped Ruby code support
• ruby-lsp integration

• SignatureHelp improvements
• Keyword arguments completion
• Unreachable branch detection
• Type name completion in inline type annotations

• Better completion in RBS
• ... syntax support

• Casting in Ruby code

• Proc/Block typing with self type
• Better block arg support
• Single file type checking

• Flexible flow-sensitive typing (#590)