On 06/19/2012 05:49 PM, Timon Gehr wrote:
The question is, what the meaning of 'const' references should be: 1. data cannot be changed transitively through the reference 2. the reference can reference both 'const' and 'immutable' data and 'immutable' data can transitively not be changed through the reference. 1. requires transitive const for delegate context pointers, 2. does not.
(Note: I completely agree that 'immutable' and 'shared' need to be transitive across delegate context pointers.)
