// RUN: %target-typecheck-verify-swift | |
struct RequiresStrideable<T: Strideable> { } | |
extension CountableRange { | |
func testStrideable() { | |
_ = RequiresStrideable<Bound>() | |
} | |
func foo() { } | |
} | |
extension Range { | |
func foo() { } // not a redefinition | |
} | |
struct RequiresHashable<T: Hashable> { } | |
extension DictionaryIndex { | |
func testHashable() { | |
_ = RequiresHashable<Key>() | |
} | |
} | |
extension CountableRange where Element == Int { | |
func getLowerBoundAsInt() -> Int { return lowerBound } | |
} |