<p><span class="h-card" translate="no"><a href="https://ioc.exchange/@azonenberg" class="u-url mention">@<span>azonenberg</span></a></span> this means that the compiler can assume that any pointer that is accessed is not NULL, by definition of accessible pointer</p>