On 2/22/2022 4:56 PM, Timon Gehr wrote: > Anyway, it's pretty clear that this won't be in D, That's right. D's behavior here been universally approved of. I originally thought with the size of this thread that people were going to want to change it, and am glad I was wrong.