ParentFull threadderkha·Lean 4 developer here. If the array is shared, we make a full copy. It's the same semantics as in Swift.View on HN