test/multifile/Inputs/rdar-34584596-B.swift

protocol DefaultedAttributes: Attributes {
}

extension DefaultedAttributes {
    var attributes: [(title: String, description: String)] {
        var attributes: [(title: String, description: String)] = []
        return attributes
    }
}

extension Impl: DefaultedAttributes {
}