Proposal for scoped const contracts

[Janice Caron]

On 25/03/2008, Oliver Dathe <o.dathe at gmx.de> wrote:
> The following is some kind of superset of what I have proposed in [1]
>
>  Example for syntax (*):
>
>      char[] f(char[] p : const(char)[]) { }

I don't think I'd like to have to specify the type twice for every
affected parameter.

I don't have a better idea though! :-(
(But I'm still thinking about it)