From 56e13fccfd859d8e8acab98dcdffe3cff5189416 Mon Sep 17 00:00:00 2001
From: Jacob Bandes-Storch <jacob@bandes-storch.net>
Date: Fri, 4 Dec 2015 01:43:24 -0800
Subject: [PATCH] Fix crash when considering invalid binary operator function
 for resolution <rdar://23719809&23720006>

This fixes compiler crashes resulting from an invalid FuncDecl which is later considered while resolving a binary application.
---
 lib/Sema/CSGen.cpp                                   |  5 ++++-
 .../0036-rdar23719809.swift                          | 12 ++++++++++++
 2 files changed, 16 insertions(+), 1 deletion(-)
 create mode 100644 validation-test/compiler_crashers_2_fixed/0036-rdar23719809.swift

diff --git a/lib/Sema/CSGen.cpp b/lib/Sema/CSGen.cpp
index e4c1e480d5134..4b31e87487d74 100644
--- a/lib/Sema/CSGen.cpp
+++ b/lib/Sema/CSGen.cpp
@@ -752,7 +752,10 @@ namespace {
       }
       
       Type paramTy = fnTy->getInput();
-      auto paramTupleTy = paramTy->castTo<TupleType>();
+      auto paramTupleTy = paramTy->getAs<TupleType>();
+      if (!paramTupleTy || paramTupleTy->getNumElements() != 2)
+        return false;
+      
       auto firstParamTy = paramTupleTy->getElement(0).getType();
       auto secondParamTy = paramTupleTy->getElement(1).getType();
       
diff --git a/validation-test/compiler_crashers_2_fixed/0036-rdar23719809.swift b/validation-test/compiler_crashers_2_fixed/0036-rdar23719809.swift
new file mode 100644
index 0000000000000..84684763144b2
--- /dev/null
+++ b/validation-test/compiler_crashers_2_fixed/0036-rdar23719809.swift
@@ -0,0 +1,12 @@
+// RUN: not %target-swift-frontend %s -parse
+
+// rdar://problem/23719809&23720006
+
+func ~=() {}
+func ~=(_: Int) {}
+func ~=(_: () -> ()) {}
+
+switch 0 {
+case 0:
+    break
+}