// RUN: %target-swift-frontend %s -emit-ir

// https://github.com/apple/swift/issues/46088

protocol A {
  associatedtype Coordinate: Strideable
  func doSomething(_: Range<Coordinate>) -> Coordinate.Stride
}

extension A where Coordinate == Int {
  func extensionFunc(_ range: Range<Coordinate>) {
    _ = doSomething(range)
  }
}