---

yaml
---
r: 345083
b: refs/heads/master
c: fd38724
h: refs/heads/master
i:
  345081: 57b5d7a
  345079: b81b73a

Author: swift-ci

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: a1a71acd8cc7d859975dbc27592564d0cbfa4f4b
+refs/heads/master: fd3872444fbebde0261ae6af025ba0ac1de0f3b3
 refs/heads/master-next: 203b3026584ecad859eb328b2e12490099409cd5
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea

trunk/lib/Sema/CSBindings.cpp

@@ -224,23 +224,20 @@ void ConstraintSystem::PotentialBindings::addPotentialBinding(
 
 bool ConstraintSystem::PotentialBindings::isViable(
     PotentialBinding &binding) const {
-  // Prevent against checking against the same bound generic type
+  // Prevent against checking against the same opened nominal type
   // over and over again. Doing so means redundant work in the best
   // case. In the worst case, we'll produce lots of duplicate solutions
   // for this constraint system, which is problematic for overload
   // resolution.
   auto type = binding.BindingType;
   if (type->hasTypeVariable()) {
-    auto *BGT = type->getAs<BoundGenericType>();
-    if (!BGT)
+    auto *NTD = type->getAnyNominal();
+    if (!NTD)
       return true;
 
     for (auto &existing : Bindings) {
-      auto existingBGT = existing.BindingType->getAs<BoundGenericType>();
-      if (!existingBGT)
-        continue;
-
-      if (BGT != existingBGT && BGT->getDecl() == existingBGT->getDecl())
+      auto *existingNTD = existing.BindingType->getAnyNominal();
+      if (existingNTD && NTD == existingNTD)
         return false;
     }
   }

trunk/validation-test/Sema/type_checker_perf/fast/rdar19181998_nominals.swift.gyb

@@ -0,0 +1,19 @@
+// RUN: %scale-test --begin 1 --end 30 --step 1 --select incrementScopeCounter %s
+// REQUIRES: OS=macosx
+// REQUIRES: asserts
+
+struct A<T> {
+  struct B {
+    init(_: T) {}
+  }
+}
+
+public func test(_ fn: @escaping () -> Void) {}
+test {
+  let _ = [
+%for i in range(0, N):
+      A.B(1),
+%end
+      A.B(1.0)
+    ]
+}