// RUN: %target-swift-ide-test -code-completion -code-completion-token=A -source-filename=%s | %FileCheck %s
protocol P {
  associatedtype T: P
}
struct S<A,B where B: P>: P {
  typealias T = B.T
  func f(_: T) -> T {}
  func f(_: B.T) -> T {}
}
func &&&(x: S, y: S) -> Bool {}

S()#^A^#
// CHECK: Decl[InstanceMethod]/CurrNominal:   .f