On 02/12/2016 09:21 PM, Timon Gehr wrote:
Const could also mean mutable. This can hence reference the same data as
both shared and unshared, which violates the type system.

If const comes from mutable, then shared is superfluous leading to extra synchronization. That's suboptimal, but how does it violate the type system? -- Andrei

Reply via email to