On 7/23/2023 2:12 AM, Paolo Invernizzi wrote: > On Saturday, 22 July 2023 at 01:23:54 UTC, Walter Bright wrote: >> Going to revisit this: >> >> https://github.com/dlang/dmd/pull/15443 > > *sigh* ??