Head Const

[Walter Bright via Digitalmars-d]

On 2/15/2016 3:11 PM, ZombineDev wrote:
> I'll leave to others to discuss whether a language solution is worth it, but I
> just wanted to point out there are two library solutions in this area:
> HeadConst [1] - PR pending, and
> Rebindable (tail const) [2] - already part of Phobos.
>
> Maybe if the language could express head const, it also makes sense to have tail
> const.
>
> [1]: https://github.com/D-Programming-Language/phobos/pull/3862
> [2]: http://dlang.org/phobos-prerelease/std_typecons.html#.Rebindable

Transitive const is tail const.