@objc public protocol P {}

extension P {
  public var value: Bool { true }
}