---

yaml
---
r: 323549
b: refs/heads/tensorflow-next
c: 512613f
h: refs/heads/master
i:
  323547: f9138d8

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: 0cb1b2cb162496ef33b397befb713b4d820e68fd
+refs/heads/tensorflow-next: 512613f8ffa53c33efdda14c8ecdcb1763dfea5c

branches/tensorflow-next/lib/Sema/TypeCheckConstraints.cpp

@@ -180,6 +180,12 @@ bool constraints::computeTupleShuffle(ArrayRef<TupleTypeElt> fromTuple,
 Expr *ConstraintLocatorBuilder::trySimplifyToExpr() const {
   SmallVector<LocatorPathElt, 4> pathBuffer;
   Expr *anchor = getLocatorParts(pathBuffer);
+  // Locators are not guaranteed to have an anchor
+  // if constraint system is used to verify generic
+  // requirements.
+  if (!anchor)
+    return nullptr;
+
   ArrayRef<LocatorPathElt> path = pathBuffer;
 
   SourceRange range;

branches/tensorflow-next/test/Constraints/sr10728.swift

@@ -0,0 +1,23 @@
+// RUN: %target-typecheck-verify-swift
+
+typealias T1 = Int
+typealias T2 = Float
+typealias T3 = Bool
+
+protocol P {
+  associatedtype R
+  static var foo: (T1, (R) -> T2) { get }
+}
+
+extension P {
+  static func bind() -> (T1, (R) -> T3) {
+    return (1, { _ in true })
+  }
+}
+
+struct S: P {
+  typealias R = T3
+
+  static let foo: (T1, (R) -> T2) = bind()
+  // expected-error@-1 {{cannot convert value of type '(T1, (S.R) -> T3)' (aka '(Int, (Bool) -> Bool)') to specified type '(T1, (S.R) -> T2)' (aka '(Int, (Bool) -> Float)')}}
+}