Steep、RBSはいかにしてRubyに静的な型検査を持ち込むか（松本宗太郎さん寄稿文） - Findy Engineer Lab https://findy-code.io/engineer-lab/soutaro

"...上のRubyプログラムを実行しても型エラーは発生しませんが、これを正しく型検査できるツールは（ほとんど）ありません。..."

？？？？？？＞＜
実行される可能性がない行であろうが、型が正しくないコードは型が正しくないコードじゃん？＞＜