rbs prototype runtime command ignores extend. For example: # test.rb module M end class C extend M end $ rbs prototype runtime -R test.rb M C class C end module M end Class C is extended with modul...