> On Jun 13, 2016, at 1:39 PM, Jens Alfke <j...@mooseyard.com> wrote:
> 
> 
>> On Jun 13, 2016, at 9:45 AM, Joe Groff via swift-users 
>> <swift-users@swift.org> wrote:
>> 
>> It's not undefined behavior in that we try to ensure that memory safety is 
>> still preserved when inout parameters alias, but it is *unspecified* when 
>> updates to an inout parameter will be written back to the original argument.
> 
> But it seems that memory safety was broken in that an array assigned to a 
> ‘let’ variable was mutated. Doesn’t that violate the contract of its 
> immutability?

I see, missed that part. That's a bug—`acopy` should remain a distinct copy of 
`a`.

-Joe
_______________________________________________
swift-users mailing list
swift-users@swift.org
https://lists.swift.org/mailman/listinfo/swift-users

Reply via email to