[Issue 1961] Allow "scoped const" contracts

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=1961





------- Comment #1 from andrei at metalanguage.com  2008-03-31 21:34 -------
Looks interesting. I discussed the issue with Janice a bit. The solution seems
sound, and it's not templated, which is important for virtual functions. My
only concern is that it's a new feature, unrelated to all else in the language,
and as such must be learned. Since some people already complain that the const
regime is already complicated, I fear that people might say that inout adds
even more complication.


--