<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention">@<span>fasterthanlime</span></a></span> if I'm jot mistaken this is due to us loading the sysroot/standard library sources after your project so we don't resolve the None at first</p>