On 9/26/2018 5:46 AM, Steven Schveighoffer wrote: >>> Does this need a DIP? Feel free to write one, but its chances of getting incorporated are remote and would require a pretty strong rationale that I haven't seen yet.