---

yaml
---
r: 323295
b: refs/heads/tensorflow-next
c: db2d388
h: refs/heads/master
i:
  323293: ad25a5b
  323291: 8148b28
  323287: 1e30328
  323279: 460b7ec
  323263: 23da612

Author: swift-ci

[refs]

@@ -1461,4 +1461,4 @@ refs/heads/master-rebranch: 86e95c23aa0d37f24ec138b7853146c1cead2e40
 refs/heads/rdar-53901732: 9bd06af3284e18a109cdbf9aa59d833b24eeca7b
 refs/heads/revert-26776-subst-always-returns-a-type: 1b8e18fdd391903a348970a4c848995d4cdd789c
 refs/heads/tensorflow-merge: 8b854f62f80d4476cb383d43c4aac2001dde3cec
-refs/heads/tensorflow-next: f7574e4670c5f562dfc2903358496385914cfd77
+refs/heads/tensorflow-next: db2d388117d42e8e4797bae6527ac346bbdd17a9

branches/tensorflow-next/test/SourceKit/CursorInfo/cursor_some_type.swift

@@ -1,12 +1,48 @@
+public protocol Proto {
+  associatedtype Assoc
+  func method() -> Assoc
+}
+
 public class Base {}
 
-public protocol Proto {}
+public class Derived: Base, Proto {
+  public func method() -> Int {}
+}
 
-public func foo() -> some Base & Proto {
-  class Derived: Base, Proto {}
-  return Derived()
+public struct S {
+  public func foo<T>(x: T) -> some Base & Proto {
+    return Derived()
+  }
 }
 
-// RUN: %sourcekitd-test -req=cursor -pos=5:13 %s -- %s | %FileCheck %s
-// CHECK: <Declaration>public func foo() -&gt; some <Type usr=[[Base_USR:.*]]>Base</Type> &amp; <Type usr=[[Proto_USR:.*]]>Proto</Type></Declaration>
-// CHECK: <decl.function.free><syntaxtype.keyword>public</syntaxtype.keyword> <syntaxtype.keyword>func</syntaxtype.keyword> <decl.name>foo</decl.name>() -&gt; <decl.function.returntype><syntaxtype.keyword>some</syntaxtype.keyword> <ref.class usr=[[Base_USR]]>Base</ref.class> &amp; <ref.protocol usr=[[Proto_USR]]>Proto</ref.protocol></decl.function.returntype></decl.function.free>
+func test(value: S) {
+  let _ = value.foo(x: 12)
+}
+
+// RUN: %sourcekitd-test -req=cursor -pos=13:15 %s -- %s -module-name Test | %FileCheck %s -check-prefix=DECLSITE
+// DECLSITE: source.lang.swift.decl.function.method.instance (13:15-13:27)
+// DECLSITE-NEXT: foo(x:)
+// DECLSITE-NEXT: s:4Test1SV3foo1xQrx_tlF
+// DECLSITE-NEXT: <T> (S) -> (T) -> some Base & Proto
+// DECLSITE-NEXT: $s1xQrx_tcluD
+// DECLSITE-NEXT: <Declaration>public func foo&lt;T&gt;(x: <Type usr=[[T_USR:.*]]>T</Type>) -&gt; some <Type usr=[[Base_USR:.*]]>Base</Type> &amp; <Type usr=[[Proto_USR:.*]]>Proto</Type></Declaration>
+// DECLSITE-NEXT: <decl.function.method.instance><syntaxtype.keyword>public</syntaxtype.keyword> <syntaxtype.keyword>func</syntaxtype.keyword> <decl.name>foo</decl.name>&lt;<decl.generic_type_param usr=[[T_USR]]><decl.generic_type_param.name>T</decl.generic_type_param.name></decl.generic_type_param>&gt;(<decl.var.parameter><decl.var.parameter.argument_label>x</decl.var.parameter.argument_label>: <decl.var.parameter.type><ref.generic_type_param usr=[[T_USR]]>T</ref.generic_type_param></decl.var.parameter.type></decl.var.parameter>) -&gt; <decl.function.returntype><syntaxtype.keyword>some</syntaxtype.keyword> <ref.class usr=[[Base_USR]]>Base</ref.class> &amp; <ref.protocol usr=[[Proto_USR]]>Proto</ref.protocol></decl.function.returntype></decl.function.method.instance>
+
+// RUN: %sourcekitd-test -req=cursor -pos=13:43 %s -- %s -module-name Test | %FileCheck %s -check-prefix=PROTO_AFTER_SOME
+// PROTO_AFTER_SOME: source.lang.swift.ref.protocol (1:17-1:22)
+// PROTO_AFTER_SOME-NEXT: Proto
+// PROTO_AFTER_SOME-NEXT: s:4Test5ProtoP
+// PROTO_AFTER_SOME-NEXT: Proto.Protocol
+// PROTO_AFTER_SOME-NEXT: $s4Test5Proto_pmD
+// PROTO_AFTER_SOME-NEXT: <Declaration>public protocol Proto</Declaration>
+// PROTO_AFTER_SOME-NEXT: <decl.protocol><syntaxtype.keyword>public</syntaxtype.keyword> <syntaxtype.keyword>protocol</syntaxtype.keyword> <decl.name>Proto</decl.name></decl.protocol>
+
+// RUN: %sourcekitd-test -req=cursor -pos=19:17 %s -- %s -module-name Test | %FileCheck %s -check-prefix=USESITE
+// USESITE: source.lang.swift.ref.function.method.instance (13:15-13:27)
+// USESITE-NEXT: foo(x:)
+// USESITE-NEXT: s:4Test1SV3foo1xQrx_tlF
+// USESITE-NEXT: <T> (S) -> (T) -> some Base & Proto
+// USESITE-NEXT: $s1xQrx_tcluD
+// USESITE-NEXT: <Container>$s4Test1SVD</Container>
+// USESITE-NEXT: <Declaration>public func foo&lt;T&gt;(x: T) -&gt; some <Type usr=[[Base_USR:.*]]>Base</Type> &amp; <Type usr=[[Proto_USR:.*]]>Proto</Type></Declaration>
+// USESITE-NEXT: <decl.function.method.instance><syntaxtype.keyword>public</syntaxtype.keyword> <syntaxtype.keyword>func</syntaxtype.keyword> <decl.name>foo</decl.name>&lt;<decl.generic_type_param usr=[[T_USR:.*]]><decl.generic_type_param.name>T</decl.generic_type_param.name></decl.generic_type_param>&gt;(<decl.var.parameter><decl.var.parameter.argument_label>x</decl.var.parameter.argument_label>: <decl.var.parameter.type>T</decl.var.parameter.type></decl.var.parameter>) -&gt; <decl.function.returntype><syntaxtype.keyword>some</syntaxtype.keyword> <ref.class usr=[[Base_USR]]>Base</ref.class> &amp; <ref.protocol usr=[[Proto_USR]]>Proto</ref.protocol></decl.function.returntype></decl.function.method.instance>