// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COMPLETE_OVERRIDDEN_PROTOCOL_METHOD | %FileCheck %s
// RUN: %target-swift-ide-test -code-completion -source-filename %s -code-completion-token=COMPLETE_OVERRIDDEN_CLASS_METHOD | %FileCheck %s

struct S1 {
  func s1() {}
}
struct S2 {
  func s2() {}
}

protocol Foo {
  func bar() -> S1
}
extension Foo {
  func bar() -> S1 { return S1() }
}

struct S3: Foo {
  func bar() -> S2 {
    return S2()
  }
}

func testOverridenProtocolMethod(x: S3) {
  x.bar().#^COMPLETE_OVERRIDDEN_PROTOCOL_METHOD^#
}

class C1 {
  func bar() -> S1 { return S1() }
}
class C2: C1 {
  func bar() -> S2 { return S2() }
}
func testOverridenClassMethod(x: C2) {
  x.bar().#^COMPLETE_OVERRIDDEN_CLASS_METHOD^#
}
// CHECK: Begin completions, 4 items
// CHECK: Keyword[self]/CurrNominal:          self[#S2#];
// CHECK: Decl[InstanceMethod]/CurrNominal:   s2()[#Void#];
// CHECK: Keyword[self]/CurrNominal:          self[#S1#];
// CHECK: Decl[InstanceMethod]/CurrNominal:   s1()[#Void#];
// CHECK: End completions