// RUN: %target-typecheck-verify-swift | |
// SR-5726 | |
protocol Foo | |
{ | |
associatedtype Bar | |
var bar: Bar { get } | |
} | |
extension Foo where Self: Collection, Bar: Collection, Self.SubSequence == Bar.SubSequence, /*redundant: */Self.Index == Bar.Index | |
{ | |
subscript(_ bounds: Range<Index>) -> SubSequence | |
{ | |
return bar[bounds] | |
} | |
} |