What is the current stage of @property ?

[Adam D. Ruppe]

On Wednesday, 10 June 2020 at 22:50:17 UTC, Paul Backus wrote:
> static assert(isInputRange!S); // passes

isInputRange doesn't check it but others do. 
std.random.isSeedable requires @property on front for example.

Some apparently test incorrectly too, like 
std.range.primitives.moveFront seems to incorrectly reject front 
variables.

@property is done wrong and I wish they would fix it but right 
now it is... often ignorable but sometimes will do mysterious 
inconsistency due to library use.