dip1000 and preview in combine to cause extra safety errors

[Timon Gehr]

On 6/9/22 20:46, Dennis wrote:
> 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.

In exchange for apparently inviting UB. Not a great trade-off.