It's used in Kotlin and Ceylon, but the example above is really just a weak way to make up for the absence of overloading. The compiler should be making these

It's used in Kotlin and Ceylon, but the example above is really just a weak way to make up for the absence of overloading. The compiler should be making these checks, not the developer.