Super weird, anyone got an idea?https://twitter.com/quii/status/810421139029852160 …
-
how can a sub-type of Int exist, since it's final, https://github.com/scala/scala/blob/v2.12.0/src/library/scala/Int.scala#L1 …?
The types can exist even if they can't possibly have values. But you can still use them as generic params and bounds.
-
-
though you can also cast to a subtype (e.g. Int with Foo) and by erasure it works provided you don't call Foo#anything.
-
And finally, every stable ident or literal value gives rise to a singleton type (a subtype) with only one value.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.