[Issue 15507] Throwable.message() should be pure @safe

[via Digitalmars-d-bugs]

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

Dicebot <pub...@dicebot.lv> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pub...@dicebot.lv

--- Comment #1 from Dicebot <pub...@dicebot.lv> ---
`@safe` indeed makes sense. `pure` - not so sure. Does marking base method as
pure imply weak or strong purity for overriding?

I.e. would this be legal?

class SomeE : Exception
{
    char[] buffer;
    override const(char)[] message () pure
    {
        // on demand message generation into this.buffer
    }
}

and this?

class SomeE : Exception
{
    static char[] buffer;
    override const(char)[] message () pure
    {
        / on demand message generation into SomeE.buffer
    }
}

--