---

yaml
---
r: 327657
b: refs/heads/tensorflow
c: 56abf9e
h: refs/heads/master
i:
  327655: a9e36e7

Author: slavapestov

[refs]

@@ -816,7 +816,7 @@ refs/tags/swift-DEVELOPMENT-SNAPSHOT-2018-04-25-a: 22f738a831d43aff2b9c9773bcb65
 refs/tags/swift-DEVELOPMENT-SNAPSHOT-2018-05-08-a: 7d98cc16689baba5c8a3b90a9329bdcc1a12b4e9
 refs/heads/cherr42: a566ad54b073c2c56ac0a705d0a5bed9743135a5
 "refs/heads/codable_test_comment_fix": fc8f6824f7f347e1e8db55bff62db385c5728b5a
-refs/heads/tensorflow: dc59cd2043f001eec89cc2aa5704b2dc48f7d357
+refs/heads/tensorflow: 56abf9e0f9265fabb135b94555d11dd658992aa0
 refs/tags/swift-4.1-DEVELOPMENT-SNAPSHOT-2018-05-11-a: 8126fd7a652e2f70ad6d76505239e34fb2ef3e1a
 refs/tags/swift-4.1-DEVELOPMENT-SNAPSHOT-2018-05-12-a: b3fd3dd84df6717f2e2e9df58c6d7e99fed57086
 refs/tags/swift-4.1-DEVELOPMENT-SNAPSHOT-2018-05-13-a: 71135119579039dc321c5f65d870050fe36efda2

branches/tensorflow/lib/Sema/CSRanking.cpp

@@ -822,27 +822,17 @@ SolutionCompareResult ConstraintSystem::compareSolutions(
         continue;
       }
 
-      if (choice1.getKind() == OverloadChoiceKind::KeyPathDynamicMemberLookup) {
-        if (choice2.getKind() == OverloadChoiceKind::DynamicMemberLookup)
-          // Dynamic member lookup through a keypath is better than one using
-          // string because it carries more type information.
-          score1 += weight;
-        else
-          // Otherwise let's prefer non-dynamic declaration.
-          score2 += weight;
-
+      // Dynamic member lookup through a keypath is better than one using string
+      // because it carries more type information.
+      if (choice1.getKind() == OverloadChoiceKind::KeyPathDynamicMemberLookup &&
+          choice2.getKind() == OverloadChoiceKind::DynamicMemberLookup) {
+        score1 += weight;
         continue;
       }
 
-      if (choice2.getKind() == OverloadChoiceKind::KeyPathDynamicMemberLookup) {
-        if (choice1.getKind() == OverloadChoiceKind::DynamicMemberLookup)
-          // Dynamic member lookup through a keypath is better than one using
-          // string because it carries more type information.
-          score2 += weight;
-        else
-          // Otherwise let's prefer non-dynamic declaration.
-          score1 += weight;
-
+      if (choice1.getKind() == OverloadChoiceKind::DynamicMemberLookup &&
+          choice2.getKind() == OverloadChoiceKind::KeyPathDynamicMemberLookup) {
+        score2 += weight;
         continue;
       }
 

branches/tensorflow/lib/Sema/MiscDiagnostics.cpp

@@ -22,16 +22,13 @@
 #include "swift/AST/Pattern.h"
 #include "swift/Basic/Defer.h"
 #include "swift/Basic/SourceManager.h"
-#include "swift/Basic/Statistic.h"
 #include "swift/Basic/StringExtras.h"
 #include "swift/Parse/Lexer.h"
 #include "swift/Parse/Parser.h"
 #include "swift/Sema/IDETypeChecking.h"
 #include "llvm/ADT/MapVector.h"
 #include "llvm/ADT/StringSwitch.h"
 #include "llvm/Support/SaveAndRestore.h"
-
-#define DEBUG_TYPE "Sema"
 using namespace swift;
 
 /// Return true if this expression is an implicit promotion from T to T?.
@@ -1995,10 +1992,6 @@ class VarDeclUsageChecker : public ASTWalker {
   /// This is a mapping from VarDecls to the if/while/guard statement that they
   /// occur in, when they are in a pattern in a StmtCondition.
   llvm::SmallDenseMap<VarDecl*, LabeledConditionalStmt*> StmtConditionForVD;
-
-#ifndef NDEBUG
-  llvm::SmallPtrSet<Expr*, 32> AllExprsSeen;
-#endif
 
   bool sawError = false;
 
@@ -2739,19 +2732,13 @@ void VarDeclUsageChecker::markStoredOrInOutExpr(Expr *E, unsigned Flags) {
 
 /// The heavy lifting happens when visiting expressions.
 std::pair<bool, Expr *> VarDeclUsageChecker::walkToExprPre(Expr *E) {
-  STATISTIC(VarDeclUsageCheckerExprVisits,
-            "# of times VarDeclUsageChecker::walkToExprPre is called");
-  ++VarDeclUsageCheckerExprVisits;
-
   // Sema leaves some subexpressions null, which seems really unfortunate.  It
   // should replace them with ErrorExpr.
   if (E == nullptr || !E->getType() || E->getType()->hasError()) {
     sawError = true;
     return { false, E };
   }
 
-  assert(AllExprsSeen.insert(E).second && "duplicate traversal");
-
   // If this is a DeclRefExpr found in a random place, it is a load of the
   // vardecl.
   if (auto *DRE = dyn_cast<DeclRefExpr>(E)) {
@@ -2796,13 +2783,9 @@ std::pair<bool, Expr *> VarDeclUsageChecker::walkToExprPre(Expr *E) {
     return { false, E };
   }
 
-  // If we see an OpenExistentialExpr, remember the mapping for its OpaqueValue
-  // and only walk the subexpr.
-  if (auto *oee = dyn_cast<OpenExistentialExpr>(E)) {
+  // If we see an OpenExistentialExpr, remember the mapping for its OpaqueValue.
+  if (auto *oee = dyn_cast<OpenExistentialExpr>(E))
     OpaqueValueMap[oee->getOpaqueValue()] = oee->getExistentialValue();
-    oee->getSubExpr()->walk(*this);
-    return { false, E };
-  }
 
   // Visit bindings.
   if (auto ove = dyn_cast<OpaqueValueExpr>(E)) {

branches/tensorflow/test/Constraints/keypath_dynamic_member_lookup.swift

@@ -367,26 +367,3 @@ func make_sure_delayed_keypath_dynamic_member_works() {
     }
   }
 }
-
-
-// SR-11465 - Ambiguity in expression which matches both dynamic member lookup and declaration from constrained extension
-
-@dynamicMemberLookup
-struct SR_11465<RawValue> {
-  var rawValue: RawValue
-
-  subscript<Subject>(dynamicMember keyPath: KeyPath<RawValue, Subject>) -> Subject {
-    rawValue[keyPath: keyPath]
-  }
-}
-
-extension SR_11465: Hashable, Equatable where RawValue: Hashable {
-  func hash(into hasher: inout Hasher) {
-    hasher.combine(self.rawValue)
-  }
-}
-
-func test_constrained_ext_vs_dynamic_member() {
-  // CHECK: function_ref @$s29keypath_dynamic_member_lookup8SR_11465VAASHRzlE9hashValueSivg
-  _ = SR_11465<Int>(rawValue: 1).hashValue // Ok, keep choice from constrained extension
-}

branches/tensorflow/test/ParseableInterface/inherited-generic-parameters.swift

@@ -3,10 +3,9 @@
 // RUN: %target-swift-frontend -typecheck %s -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution
 // RUN: %FileCheck %s < %t/main.swiftinterface
 
-// RUN: %target-build-swift %s -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution
-// RUN: %FileCheck %s < %t/main.swiftinterface
+// RUN: %target-swift-frontend -emit-module -module-name main -primary-file %s -emit-module-path %t/main~partial.swiftmodule -enable-library-evolution
 
-// RUN: %target-build-swift %s -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution -wmo
+// RUN: %target-swift-frontend -merge-modules %t/main~partial.swiftmodule -emit-module-path %t/main.swiftmodule -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution
 // RUN: %FileCheck %s < %t/main.swiftinterface
 
 // This test makes sure that we substitute uses of the superclass's generic

branches/tensorflow/test/ParseableInterface/where-clause.swift

@@ -3,10 +3,9 @@
 // RUN: %target-swift-frontend -typecheck %s -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution
 // RUN: %FileCheck %s < %t/main.swiftinterface
 
-// RUN: %target-build-swift %s -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution
-// RUN: %FileCheck %s < %t/main.swiftinterface
+// RUN: %target-swift-frontend -emit-module -module-name main -primary-file %s -emit-module-path %t/main~partial.swiftmodule -enable-library-evolution
 
-// RUN: %target-build-swift %s -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution -wmo
+// RUN: %target-swift-frontend -merge-modules %t/main~partial.swiftmodule -emit-module-path %t/main.swiftmodule -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution
 // RUN: %FileCheck %s < %t/main.swiftinterface
 
 // CHECK: import Swift