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.