There are loads of bugs around there. My opinion: Foo#Bar sometimes thinks it's the _intersection_ of all the possible f.Bars, which in many cases will be Nothing. It's not worth trying to figure out though: too many bugs in scalac to make sense of it, gone in Dotty in any case.
Can anyone tell me why `Foo#Bar` is not exactly the same type as `http://f.Bar forSome { val f: Foo }`?
-
-
-
Thanks,
@milessabin — I felt it was a bug, though I hadn't spotted the intersection issue... that sounds very weird! I'll be happy to embrace a language without any keywords with a capital letter in the middle. ;)
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.