Currently (DMD 2.058head) this code compiles with no errors if you compile it with -property -w:


@property size_t len(T)(in T[] a) {
    return a.length;
}
void main() {
    int[10] a;
    assert(a.len() == 10);
}


But I think the -property has to statically refuse code that uses () on properties.