// RUN: %target-swift-frontend -g -emit-ir %s | %FileCheck %s

public struct Gen<Value> {
  public private(set) var value: Value
  public func use<Subject>(keyPath: WritableKeyPath<Value, Subject>) {
  }
}

// This used to assert.

// CHECK: distinct !DISubprogram({{.*}}linkageName: "$sSly7ElementQz5IndexQzcipSMRzSHADRQlxxTK", {{.*}} spFlags: DISPFlagDefinition
extension Gen where Value : MutableCollection, Value.Index : Hashable {
    public var dontAssert: Int {
        var i = value.startIndex
				use(keyPath: \.[i])
        return 0
    }
}
