Yep, the existentials are the expanded form of @tpolecat's projections. And yeah, there's no reasonable way of merging invariant members...https://twitter.com/dwijnand/status/849217180000559105 …
-
Also looks like `(A with B)
#M` isn't equivalent to `x.M forSome { val x: A with B }`:pic.twitter.com/UQDHfsqf1v
I'm not sure `typeOf[L].=:=` is implemented, but if it's looking for an implicit =:=, it will find both ev2 and ev3.
-
-
Yeah, you're right... I'm not sure what's going on there!
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.