compiler bug?pic.twitter.com/P8dehnwcx1
-
-
Maybe even simpler: what if B is Nothing?
-
I forget what I was doing but I think B was a type param (not specialised) so truely it's Any :> B :> Null. But also isn't Int with AnyRef => Integer? AnyRef with Nothing sounds insane/uninhabited, so shouldn't "ex falso quodlibet" follow? Don't know how these extremes combine.
- Show replies
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.