On 4/27/25 19:20, Timon Gehr wrote: > or restrict them to work only for mutable copies unless they are `pure`. (More restrictions would be needed to enable qualified copying, due to aliasing issues.)