• d-bugmail puremagic.com (49/49) Oct 24 2023 https://issues.dlang.org/show_bug.cgi?id=24198

d-bugmail puremagic.com writes:

https://issues.dlang.org/show_bug.cgi?id=24198

          Issue ID: 24198
           Summary: nothrow keyword ignored on struct destructor
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: christopher.winter ahrefs.com

This code results in an error that "Nothrow.~this` is not `nothrow`", despite
it being marked `nothrow`. The error is given at the `scope n = Nothrow()`
line.

Either the nothrow annotation on the destructor is ignored, or the destructor
cannot be marked nothrow with that implementation, in which case that should be
the error, with the location given as the malformed destructor.

```
struct ThrowsDestructor
{
    ~this()
    {
    }
}

struct Nothrow
{
    ~this() nothrow  trusted
    {
        try
        {
            _t = ThrowsDestructor.init;
        }
        catch(Exception e)
        {
        }
    }

    ThrowsDestructor _t;
}

void test() nothrow
{
    scope n = Nothrow();
}

void main()
{
}
```

--