What is the state of @property?

[Steven Schveighoffer]

On 8/28/22 9:43 AM, Salih Dincer wrote:
> On Thursday, 25 August 2022 at 03:49:07 UTC, Steven Schveighoffer wrote:
>> It does just about nothing. The only discernable difference is `typeof`:
>>
>> ```d
>> struct S
>> {
>>     int prop1() { return 1; }
>>     @property int prop2() { return 2; }
>> }
>>
>> pragma(msg, typeof(S.prop1)); // int()
>> pragma(msg, typeof(S.prop2)); // int
>> ```
> 
> The function has parameters, the difference you're pointing isn't even 
> visible :)
> ```d
> struct S
> {
>      int prop1(int a) { return a; }
>      @property int prop2(int b) { return b; }
> }
> 
> pragma(msg, typeof(S.prop1(1))); // int
> pragma(msg, typeof(S.prop2(2))); // int
> ```

You are asking for the type of the expression which calls the function. 
(i.e. `typeof(s.prop2(1))` instead of `typeof(s.prop2)`. However, 
`typeof(s.prop2)` is going to fail, because the compiler is requiring 
property functions to be used when using `typeof` (and only when using 
`typeof`).

I'm trying to tell you this is the *only thing `@property` does*. In all 
other cases, it's indistinguishable from a normal function/method.

-Steve