In Ruby, we can define an alias to a method that is defined in an inherited class, but we can't in RBS. For example: # The Ruby code doesn't have any errors. module M def m() 1 end end class P def ...