stance.dereference_violation" class="anchored"><td class="def field"><a href="#type-err_instance.dereference_violation" class="anchor"></a><code>dereference_violation : <a href="../DereferenceRule/index.html#type-violation">DereferenceRule.violation</a>;</code></td></tr><tr id="type-err_instance.dereference_location" class="anchored"><td class="def field"><a href="#type-err_instance.dereference_location" class="anchor"></a><code>dereference_location : <a href="../../IBase/Location/index.html#type-t">IBase.L