@trusted attribute should be replaced with @trusted blocks
anonymous at example.com
Wed Jan 15 23:58:22 UTC 2020
On Wednesday, 15 January 2020 at 23:24:38 UTC, IGotD- wrote:
> @safe is a subset of D that guarantees no memory corruption.
Not quite. @safe is a subset of D that guarantees no memory
corruption, as long as people write only correct @trusted code
(and there might be more restrictions). This weaker definition is
being used because the strong one is considered impractical.
There might be text in the documentation that suggests the
stronger definition, but that is not going to take precedence.
The weaker one is widely accepted as more useful. If anything, a
conflict would surely be resolved by changing the documentation.
More information about the Digitalmars-d