-preview=in might break code

Fri Oct 2 21:12:07 UTC 2020

On Friday, 2 October 2020 at 20:44:17 UTC, Per Nordlöw wrote:
> On Friday, 2 October 2020 at 14:08:29 UTC, Steven Schveighoffer 
> wrote:
>> Compile without -preview=in, it prints:
>> ...
>> -Steve
>
> I wonder how Ada handles multiple aliasing of the same argument 
> to a set of reference (`alias`) parameters [1]. Does it have 
> the same ownership and borrowing rules as Rust? I need to 
> check...

SPARK verifies that there is no aliasing with 'in out' and other 
parameters and globals IIRC