ocation.t</a>;</code></td></tr><tr id="type-err_instance.dereference_type" class="anchored"><td class="def field"><a href="#type-err_instance.dereference_type" class="anchor"></a><code>dereference_type : <a href="../DereferenceRule/ReportableViolation/index.html#type-dereference_type">DereferenceRule.ReportableViolation.dereference_type</a>;</code></td></tr><tr id="type-err_instance.nullable_object_descr" class="anchored"><td class="def field"><a href="#type-err_instance.nullable_object_descr" class="anchor