From 820a2cb257ae3926b7752c69f0bf31959e4114bb Mon Sep 17 00:00:00 2001
From: Daniel Rosenwasser <drosen@microsoft.com>
Date: Tue, 8 Dec 2015 15:03:58 -0800
Subject: [PATCH] Added some tests for overload compatibility.

---
 tests/cases/compiler/functionOverloads43.ts | 12 +++++++++++
 tests/cases/compiler/functionOverloads44.ts | 22 +++++++++++++++++++++
 tests/cases/compiler/functionOverloads45.ts | 22 +++++++++++++++++++++
 3 files changed, 56 insertions(+)
 create mode 100644 tests/cases/compiler/functionOverloads43.ts
 create mode 100644 tests/cases/compiler/functionOverloads44.ts
 create mode 100644 tests/cases/compiler/functionOverloads45.ts

diff --git a/tests/cases/compiler/functionOverloads43.ts b/tests/cases/compiler/functionOverloads43.ts
new file mode 100644
index 0000000000..8822fd86c1
--- /dev/null
+++ b/tests/cases/compiler/functionOverloads43.ts
@@ -0,0 +1,12 @@
+function foo(bar: { a:number }[]): number;
+function foo(bar: { a:string }[]): string;
+function foo([x]: { a:number | string }[]): string | number {
+    if (x) {
+        return x.a;
+    }
+    
+    return undefined;
+}
+
+var x = foo([{a: "str"}]);
+var y = foo([{a: 100}]);
\ No newline at end of file
diff --git a/tests/cases/compiler/functionOverloads44.ts b/tests/cases/compiler/functionOverloads44.ts
new file mode 100644
index 0000000000..20a7ed540f
--- /dev/null
+++ b/tests/cases/compiler/functionOverloads44.ts
@@ -0,0 +1,22 @@
+interface Animal { animal }
+interface Dog extends Animal { dog }
+interface Cat extends Animal { cat }
+
+function foo1(bar: { a:number }[]): Dog;
+function foo1(bar: { a:string }[]): Animal;
+function foo1([x]: { a:number | string }[]): Dog {
+    return undefined;
+}
+
+function foo2(bar: { a:number }[]): Cat;
+function foo2(bar: { a:string }[]): Cat | Dog;
+function foo2([x]: { a:number | string }[]): Cat {
+    return undefined;
+}
+
+
+var x1 = foo1([{a: "str"}]);
+var y1 = foo1([{a: 100}]);
+
+var x2 = foo2([{a: "str"}]);
+var y2 = foo2([{a: 100}]);
\ No newline at end of file
diff --git a/tests/cases/compiler/functionOverloads45.ts b/tests/cases/compiler/functionOverloads45.ts
new file mode 100644
index 0000000000..6210bd1342
--- /dev/null
+++ b/tests/cases/compiler/functionOverloads45.ts
@@ -0,0 +1,22 @@
+interface Animal { animal }
+interface Dog extends Animal { dog }
+interface Cat extends Animal { cat }
+
+function foo1(bar: { a:number }[]): Cat;
+function foo1(bar: { a:string }[]): Dog;
+function foo1([x]: { a:number | string }[]): Animal {
+    return undefined;
+}
+
+function foo2(bar: { a:number }[]): Cat;
+function foo2(bar: { a:string }[]): Dog;
+function foo2([x]: { a:number | string }[]): Cat | Dog {
+    return undefined;
+}
+
+
+var x1 = foo1([{a: "str"}]);
+var y1 = foo1([{a: 100}]);
+
+var x2 = foo2([{a: "str"}]);
+var y2 = foo2([{a: 100}]);
\ No newline at end of file