Property discussion wrap-up

[TommiT]

On Thursday, 31 January 2013 at 12:58:13 UTC, TommiT wrote:
> [..] So, it might be just as well to just disallow copying of 
> 'properties' except when it happens as a part of copying the 
> enclosing object.

Or... maybe not, because disallowing making a copy of a property 
variable makes it illegal to pass it by value as a templated 
argument:

struct S
{
     int n;

     property Prop
     {
         @property int get() { return outer.n; }
         alias this = get;
     }
     Prop prop;
}

void foo(int v) {}

void bar(T)(T t)
     if (isImplicitlyConvertible!(T,int))
{
     int v = t;
}

...

S s;

foo(s.prop); // ok: calling foo(s.prop.get)
bar(s.prop); // error: cannot make a copy of a
              // property variable of type S.Prop