Copy Constructor DIP

[Andrei Alexandrescu]

On 7/16/18 3:12 PM, ag0aep6g wrote:
> On 07/16/2018 09:06 PM, Andrei Alexandrescu wrote:
>> On 7/14/18 11:26 AM, Jacob Carlborg wrote:
> [...]
>>> That's easily fixed by implementing a compiler recognized UDA. That 
>>> would mean that it would only be a copy constructor if "implicit" is 
>>> defined in core.attribute. This would also avoid any special syntax 
>>> in the parser. The already existing @selector is implemented like this.
>>
>> Affirmative. We're going that route, similar to "@safe" and "@nogc".
> 
> @safe and @nogc are not compiler recognized UDAs. If you implement 
> @implicit like them, then you're not doing what Jacob suggests.

Then "negative" :o). In brief @implicit follows the same implementation 
as @safe and @nogc/