On Tuesday, May 28, 2013 20:37:12 Steven Schveighoffer wrote:
> This is a different problem. Your problem is you can't apply const
> selectively to the tail of the reference. It's fundamentally sound, but D
> lacks the syntax to do it.

The syntax is actually the easy part. The problem is that the type system 
itself doesn't differentiate between a class and a reference to a class, and 
the whole compiler is wired that way. So, while adding a new syntax isn't that 
hard (several have been proposed before), actually implementing it is a royal 
pain (enough so that Walter gave up on it). It would definitely be nice to have 
that fixed though.

- Jonathan M Davis

Reply via email to