getter-only auto-prop