// cs0545.cs: 'DerivedClass.Value.get' : cannot override because 'BaseClass.Value' does not have an overridable get accessor
// Line: 9

abstract class BaseClass {
        protected abstract int Value { set; }
}

class DerivedClass: BaseClass {
        protected override int Value { get {} set {} }
}

