Simplification of @trusted
GrimMaple
grimmaple95 at gmail.com
Wed Jun 16 16:32:01 UTC 2021
On Wednesday, 16 June 2021 at 16:22:24 UTC, RazvanN wrote:
> On Wednesday, 16 June 2021 at 16:17:28 UTC, GrimMaple wrote:
>> On Wednesday, 16 June 2021 at 15:58:23 UTC, RazvanN wrote:
>>> On Wednesday, 16 June 2021 at 14:57:19 UTC, GrimMaple wrote:
>
>> With my approach, you can still cover as many code @safe as
>> you want without lying to the end user about the function
>> safety. IMHO, if you perform @trusted operations in a @safe
>> function, the function cannot be called @safe .
>
> But this is not true. As Paul Backus pointed out, you can still
> have
> a @safe function that calls trusted functions. Your argument
> seems
> to imply that @safe should never interact with @trusted code,
> which
> to be honest will make it unusable.
>
It's already broken, so let's break it even more? :)
More information about the Digitalmars-d
mailing list