Can anyone tell me why `Foo#Bar` is not exactly the same type as `http://f.Bar forSome { val f: Foo }`?
-
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.
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. ;)
