On Friday, 12 November 2021 at 13:01:15 UTC, Timon Gehr wrote: > On 12.11.21 11:55, Stefan Koch wrote: >> >> It is a really simple patch and I think it's worthwhile to >> have this in the main language. > > Yes, please. I'll leave it in this PR: https://github.com/dlang/dmd/pull/13305