@swift-main
protocol P { static var type: String { get } var type: String { get } } struct S: P { static var type: String { "" } let type = Self.type }