The DIP provides 2 examples to justify itself:
-
unpredictable mutable aliasing after appends
-
unpredictable changes of ownership caused by appends
They can share the same cause (~=
), but are two distinct symptoms, and can also have other causes. They have a unifying aspect which is unpredictable aliasing.
The breakage of the DIP is immense, so there needs to be a commensurately large upside and no reasonable alternative path with less breakage.