3 ms·
Lean 4 developer here. If the array is shared, we make a full copy. It's the same semantics as in Swift.
by derkha 6y ago
Lean 4 developer here. If the array is shared, we make a full copy. It's the same semantics as in Swift.
- creata 6y agoThanks. I assumed that option would be a major footgun (since accidental copies can be very expensive) but if it works for Swift, it can't be that bad.