From d5752592ac32e42332cd69bec6680b34d4f46b14 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Mon, 15 Jun 2015 16:14:01 -0700
Subject: [PATCH] Adding basic tests

---
 .../classExtendingBuiltinType.ts              | 10 ++++
 .../classExtendingClassLikeType.ts            | 57 +++++++++++++++++++
 .../classExtendingNonConstructor.ts           | 13 +++++
 .../classDeclarations/classExtendingNull.ts   |  2 +
 4 files changed, 82 insertions(+)
 create mode 100644 tests/cases/conformance/classes/classDeclarations/classExtendingBuiltinType.ts
 create mode 100644 tests/cases/conformance/classes/classDeclarations/classExtendingClassLikeType.ts
 create mode 100644 tests/cases/conformance/classes/classDeclarations/classExtendingNonConstructor.ts
 create mode 100644 tests/cases/conformance/classes/classDeclarations/classExtendingNull.ts

diff --git a/tests/cases/conformance/classes/classDeclarations/classExtendingBuiltinType.ts b/tests/cases/conformance/classes/classDeclarations/classExtendingBuiltinType.ts
new file mode 100644
index 00000000000..f36da74ea71
--- /dev/null
+++ b/tests/cases/conformance/classes/classDeclarations/classExtendingBuiltinType.ts
@@ -0,0 +1,10 @@
+class C1 extends Object { }
+class C2 extends Function { }
+class C3 extends String { }
+class C4 extends Boolean { }
+class C5 extends Number { }
+class C6 extends Date { }
+class C7 extends RegExp { }
+class C8 extends Error { }
+class C9 extends Array { }
+class C10 extends Array<number> { }
diff --git a/tests/cases/conformance/classes/classDeclarations/classExtendingClassLikeType.ts b/tests/cases/conformance/classes/classDeclarations/classExtendingClassLikeType.ts
new file mode 100644
index 00000000000..a9f2a3049ed
--- /dev/null
+++ b/tests/cases/conformance/classes/classDeclarations/classExtendingClassLikeType.ts
@@ -0,0 +1,57 @@
+interface Base<T, U> {
+    x: T;
+    y: U;
+}
+
+// Error, no Base constructor function
+class D0 extends Base<string, string> {
+}
+
+interface BaseConstructor {
+    new (x: string, y: string): Base<string, string>;
+    new <T>(x: T): Base<T, T>;
+    new <T>(x: T, y: T): Base<T, T>;
+    new <T, U>(x: T, y: U): Base<T, U>;
+}
+
+declare function getBase(): BaseConstructor;
+
+class D1 extends getBase() {
+    constructor() {
+        super("abc", "def");
+        this.x = "x";
+        this.y = "y";
+    }
+}
+
+class D2 extends getBase() <number> {
+    constructor() {
+        super(10);
+        super(10, 20);
+        this.x = 1;
+        this.y = 2;
+    }
+}
+
+class D3 extends getBase() <string, number> {
+    constructor() {
+        super("abc", 42);
+        this.x = "x";
+        this.y = 2;
+    }
+}
+
+// Error, no constructors with three type arguments
+class D4 extends getBase() <string, string, string> {
+}
+
+interface BadBaseConstructor {
+    new (x: string): Base<string, string>;
+    new (x: number): Base<number, number>;
+}
+
+declare function getBadBase(): BadBaseConstructor;
+
+// Error, constructor return types differ
+class D5 extends getBadBase() {
+}
diff --git a/tests/cases/conformance/classes/classDeclarations/classExtendingNonConstructor.ts b/tests/cases/conformance/classes/classDeclarations/classExtendingNonConstructor.ts
new file mode 100644
index 00000000000..4b7e5c7a76e
--- /dev/null
+++ b/tests/cases/conformance/classes/classDeclarations/classExtendingNonConstructor.ts
@@ -0,0 +1,13 @@
+var x: {};
+
+function foo() {
+    this.x = 1;
+}
+
+class C1 extends undefined { }
+class C2 extends true { }
+class C3 extends false { }
+class C4 extends 42 { }
+class C5 extends "hello" { }
+class C6 extends x { }
+class C7 extends foo { }
diff --git a/tests/cases/conformance/classes/classDeclarations/classExtendingNull.ts b/tests/cases/conformance/classes/classDeclarations/classExtendingNull.ts
new file mode 100644
index 00000000000..655cf44ed57
--- /dev/null
+++ b/tests/cases/conformance/classes/classDeclarations/classExtendingNull.ts
@@ -0,0 +1,2 @@
+class C1 extends null { }
+class C2 extends (null) { }