On Thursday, 9 June 2022 at 15:23:35 UTC, Timon Gehr wrote: > There is no upside to allowing this `scope` annotation. You could call that function `assumeNonScope` and use it to bypass lifetime errors that are false positives.