How to break const

[Timon Gehr]

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.)