On 7/16/18 8:57 PM, docandrew wrote:
I think in this case, a more obscure name like @copyctor is more descriptive.
On the contrary, it is redundant and uninformative. It applies to exactly a constructor that copies, so it adds no information. "@implicit" describes precisely what the attribute does.
