On 11/17/2015 10:54 AM, Marc Schütz wrote:
On Monday, 16 November 2015 at 17:12:06 UTC, Steven Schveighoffer wrote:
...
I think it could be done, because logical const is possible via a
global lookup table. Any time you go through a cast, however, this
could easily break down.
That's a really good argument: We don't actually introduce new
semantics, we only want make existing techniques more accessible and
efficient.
That's only strictly true if access to @mutable members is impure.
One also needs to be careful about 'shared'.
