JVM bytecode includes return types in the signatur...

# language-proposals

[mikehearn]

JVM bytecode includes return types in the signatures, so you can have methods that vary only by return type at the bytecode level