at least the compiler knows whether a getter is there or not because smart casts only work if there is none