rbs-trace
https://github.com/sinsoku/rbs-trace
あるいは
RBS::Trace
https://speakerdeck.com/sinsoku/automatically-generating-types-by-running-tests
@sinsoku_listy