Background Since #209, rbs prototype rb has been aware of returned type. But it only can be aware of the method body has only one statement and it is literal. For example: # It will be: def good: (...