rbs prototype rb command generates prototypes of method type definitions, but the returned types are always untyped. It can decide the returned type easily if the method only contains a literal. Li...