We don't track whether protected(set) is implicit, so for now always point out when the property is readonly in the error message.