Beta D 2.071.2-b3
Basile B. via Digitalmars-d-announce
digitalmars-d-announce at puremagic.com
Fri Sep 2 11:38:22 PDT 2016
On Friday, 2 September 2016 at 10:29:41 UTC, David Nadlinger
wrote:
> On Friday, 2 September 2016 at 08:57:14 UTC, Basile B. wrote:
>> On Friday, 2 September 2016 at 08:15:53 UTC, ketmar wrote:
>>> std.traits wrappers should use __traits to build *safe*
>>> things (declaring that @trusted in the end).
>>
>> This has nothing to do with memory safety.
>
> Actually it does, albeit somewhat tangentially: Accessing
> private members from the outside must be @system since the
> @trusted implementation of a class might rely on nobody
> meddling with the private state.
>
> — David
The essence of the problem is that an aggregate cannot fully
introspect itself using a template located in another module. If
the @system constraint is only for the private members then it's
ok.
More information about the Digitalmars-d-announce
mailing list