// RUN: %target-typecheck-verify-swift | |
// Allow inheritance from parenthesized protocol names. | |
protocol DefaultItem {} | |
extension DefaultItem { | |
var isEnabled: Bool { return true } | |
} | |
protocol Item: (DefaultItem) {} | |
func test(item: Item) { | |
_ = item.isEnabled | |
} |