It works in Dotty, but so do all of,
implicitly[(A with B)#Z =:= Int]
implicitly[(A with B)#Z =:= Char]
implicitly[(A with B)#Z =:= (B with A)#Z]
but not,
implicitly[Int =:= Char]
Show this thread
This will get you a compiler crash in every version of Scala 2.x. I'm surprised I never noticed this before. Is there a ticket for this already? trait X { type Z } trait Y { type Z } type A = X { type Z = Int } type B = Y { type Z = Char } implicitly[A with B =:= B with A]
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This Tweet is unavailable.
-
Presumptuous me, only testing 2.13.0-M3... I only tested Dotty 0.8.0-RC1. I'm not so proactive staying up to date with these prerelease versions.
End of 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.