Interesting: Scala 2.13's singleton types seem to be preserved in string/int addition.pic.twitter.com/o70LU6Avio
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
That's not new, though. It certainly worked in Scala 2.10, and probably all the way back to 2.0...
(I don't have a pre-Java-8 JVM lying around any more, so I can't test before 2.10...)
whaat, isn't the JVM supposed to be able to run code compiled for older versions?
Maybe, but we weren't able to annotate literal singleton types that easily!
It's even easier. You don't even need to know their singleton type!pic.twitter.com/2Hx08iNoOl
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.