bearophile wrote: > If the type system is able to manage the transitive immutability, > then it can manage this too, I think. I've already worked out the implementation issues of transitivity, so I can easily leverage that code for the sharing transitivity.