"anchor"></a><code><span>| </span><span><span class="constructor">UntrustedNonnull</span> <span class="keyword">of</span> <a href="#type-untrusted_kind">untrusted_kind</a></span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>Value is not nullable per se, but we still can not treat it as non-null in current mode. From the user perspective, it is a very different case: violations of this type need to be explained in a way so that it is clear why exactly can not nullsafe trust it in th