| Field | Value |
|---|---|
| DIP: | 1xxx |
| Review Count: | 0 |
| Author: | Biotronic |
This document describes a method for implicitly converting const data structures to head-mutable when types are inferred for temporary variables. This already happens for built-in pointers and arrays, but user-defined types do not enjoy the same benefit. This document argues for a solution where the existing alias this feature is pressed into service to create temporaries with the desired head-mutability when the aliased value has the right type.