6.5.4 It is an error to remove from its pointer-type the identifying-value of an identified-variable when a reference to the identified-variable exists.
In other words, it is an error to use dispose to free the memory allocated for a pointer if other pointers to the same memory exist.
This error is never reported.