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

Dennis <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |[email protected]

--- Comment #1 from Dennis <[email protected]> ---
It's not that obvious, checking nothrow is not enough. This is not allowed:

```
void main () @safe @nogc nothrow
{
    try {
        scope exc = new Exception("Baguette");
        throw exc;
    } catch (Exception e) {
        assert(e is exc);
    }
}
```

There needs to be a check whether the try-catch block that catches the
exception is inside the scope of the variable that is being thrown.

--

Reply via email to