On 29/05/2026 10:17 AM, H. S. Teoh wrote: > We keep finding problems with them, nothrow in particular had a bug > report within the last couple of months that we have yet to find a > solution for. > > > Just curious, which bug is that? https://github.com/dlang/dmd/issues/17906