-preview=in might break code

[Imperatorn]

On Saturday, 3 October 2020 at 19:36:43 UTC, Ola Fosheim Grøstad 
wrote:
> On Saturday, 3 October 2020 at 17:05:12 UTC, Steven 
> Schveighoffer wrote:
>>[...]
>
>> [...]
>
> I am happy that we seem to agree on the principles, but I am a 
> bit perplexed by this statement as we seem to draw different 
> conclusions from the same principles...
> :-D
>
> [...]

Wow. This would be very cool if it could be done (verification 
through SPARK)