I was told last night that type `A with B` != `B with A` even though each subtypes t'other. I'm not convinced. Can anyone explain it to me?
-
Linearization order differs?
That determines the implementation, but shouldn't affect the type. Two different implementations of the same interface can have same type.
-
-
Type intersection says something about the implementation though.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.