From f15a7a3bacb765b100062fb9c261116ef12ed2af Mon Sep 17 00:00:00 2001
From: Nathan Shively-Sanders <nathansa@microsoft.com>
Date: Wed, 7 Dec 2016 13:16:23 -0800
Subject: [PATCH] Test:instanceof allows callable/constructable RHS

---
 ...anceofOperatorWithInvalidStaticToString.js | 34 ++++++++++++
 ...fOperatorWithInvalidStaticToString.symbols | 50 +++++++++++++++++
 ...eofOperatorWithInvalidStaticToString.types | 53 +++++++++++++++++++
 ...anceofOperatorWithInvalidStaticToString.ts | 21 ++++++++
 4 files changed, 158 insertions(+)
 create mode 100644 tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.js
 create mode 100644 tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.symbols
 create mode 100644 tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.types
 create mode 100644 tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOperatorWithInvalidStaticToString.ts

diff --git a/tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.js b/tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.js
new file mode 100644
index 00000000000..bf5a6f7bce1
--- /dev/null
+++ b/tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.js
@@ -0,0 +1,34 @@
+//// [instanceofOperatorWithInvalidStaticToString.ts]
+declare class StaticToString {
+    static toString(): void;
+}
+
+function foo(staticToString: StaticToString) {
+    return staticToString instanceof StaticToString;
+}
+
+declare class StaticToNumber {
+    static toNumber(): void;
+}
+function bar(staticToNumber: StaticToNumber) {
+    return staticToNumber instanceof StaticToNumber;
+}
+
+declare class NormalToString {
+    toString(): void;
+}
+function baz(normal: NormalToString) {
+    return normal instanceof NormalToString;
+}
+
+
+//// [instanceofOperatorWithInvalidStaticToString.js]
+function foo(staticToString) {
+    return staticToString instanceof StaticToString;
+}
+function bar(staticToNumber) {
+    return staticToNumber instanceof StaticToNumber;
+}
+function baz(normal) {
+    return normal instanceof NormalToString;
+}
diff --git a/tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.symbols b/tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.symbols
new file mode 100644
index 00000000000..4f4dbda611a
--- /dev/null
+++ b/tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.symbols
@@ -0,0 +1,50 @@
+=== tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOperatorWithInvalidStaticToString.ts ===
+declare class StaticToString {
+>StaticToString : Symbol(StaticToString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 0, 0))
+
+    static toString(): void;
+>toString : Symbol(StaticToString.toString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 0, 30))
+}
+
+function foo(staticToString: StaticToString) {
+>foo : Symbol(foo, Decl(instanceofOperatorWithInvalidStaticToString.ts, 2, 1))
+>staticToString : Symbol(staticToString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 4, 13))
+>StaticToString : Symbol(StaticToString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 0, 0))
+
+    return staticToString instanceof StaticToString;
+>staticToString : Symbol(staticToString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 4, 13))
+>StaticToString : Symbol(StaticToString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 0, 0))
+}
+
+declare class StaticToNumber {
+>StaticToNumber : Symbol(StaticToNumber, Decl(instanceofOperatorWithInvalidStaticToString.ts, 6, 1))
+
+    static toNumber(): void;
+>toNumber : Symbol(StaticToNumber.toNumber, Decl(instanceofOperatorWithInvalidStaticToString.ts, 8, 30))
+}
+function bar(staticToNumber: StaticToNumber) {
+>bar : Symbol(bar, Decl(instanceofOperatorWithInvalidStaticToString.ts, 10, 1))
+>staticToNumber : Symbol(staticToNumber, Decl(instanceofOperatorWithInvalidStaticToString.ts, 11, 13))
+>StaticToNumber : Symbol(StaticToNumber, Decl(instanceofOperatorWithInvalidStaticToString.ts, 6, 1))
+
+    return staticToNumber instanceof StaticToNumber;
+>staticToNumber : Symbol(staticToNumber, Decl(instanceofOperatorWithInvalidStaticToString.ts, 11, 13))
+>StaticToNumber : Symbol(StaticToNumber, Decl(instanceofOperatorWithInvalidStaticToString.ts, 6, 1))
+}
+
+declare class NormalToString {
+>NormalToString : Symbol(NormalToString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 13, 1))
+
+    toString(): void;
+>toString : Symbol(NormalToString.toString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 15, 30))
+}
+function baz(normal: NormalToString) {
+>baz : Symbol(baz, Decl(instanceofOperatorWithInvalidStaticToString.ts, 17, 1))
+>normal : Symbol(normal, Decl(instanceofOperatorWithInvalidStaticToString.ts, 18, 13))
+>NormalToString : Symbol(NormalToString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 13, 1))
+
+    return normal instanceof NormalToString;
+>normal : Symbol(normal, Decl(instanceofOperatorWithInvalidStaticToString.ts, 18, 13))
+>NormalToString : Symbol(NormalToString, Decl(instanceofOperatorWithInvalidStaticToString.ts, 13, 1))
+}
+
diff --git a/tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.types b/tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.types
new file mode 100644
index 00000000000..11efa0cffc3
--- /dev/null
+++ b/tests/baselines/reference/instanceofOperatorWithInvalidStaticToString.types
@@ -0,0 +1,53 @@
+=== tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOperatorWithInvalidStaticToString.ts ===
+declare class StaticToString {
+>StaticToString : StaticToString
+
+    static toString(): void;
+>toString : () => void
+}
+
+function foo(staticToString: StaticToString) {
+>foo : (staticToString: StaticToString) => boolean
+>staticToString : StaticToString
+>StaticToString : StaticToString
+
+    return staticToString instanceof StaticToString;
+>staticToString instanceof StaticToString : boolean
+>staticToString : StaticToString
+>StaticToString : typeof StaticToString
+}
+
+declare class StaticToNumber {
+>StaticToNumber : StaticToNumber
+
+    static toNumber(): void;
+>toNumber : () => void
+}
+function bar(staticToNumber: StaticToNumber) {
+>bar : (staticToNumber: StaticToNumber) => boolean
+>staticToNumber : StaticToNumber
+>StaticToNumber : StaticToNumber
+
+    return staticToNumber instanceof StaticToNumber;
+>staticToNumber instanceof StaticToNumber : boolean
+>staticToNumber : StaticToNumber
+>StaticToNumber : typeof StaticToNumber
+}
+
+declare class NormalToString {
+>NormalToString : NormalToString
+
+    toString(): void;
+>toString : () => void
+}
+function baz(normal: NormalToString) {
+>baz : (normal: NormalToString) => boolean
+>normal : NormalToString
+>NormalToString : NormalToString
+
+    return normal instanceof NormalToString;
+>normal instanceof NormalToString : boolean
+>normal : NormalToString
+>NormalToString : typeof NormalToString
+}
+
diff --git a/tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOperatorWithInvalidStaticToString.ts b/tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOperatorWithInvalidStaticToString.ts
new file mode 100644
index 00000000000..b99f8d71141
--- /dev/null
+++ b/tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOperatorWithInvalidStaticToString.ts
@@ -0,0 +1,21 @@
+declare class StaticToString {
+    static toString(): void;
+}
+
+function foo(staticToString: StaticToString) {
+    return staticToString instanceof StaticToString;
+}
+
+declare class StaticToNumber {
+    static toNumber(): void;
+}
+function bar(staticToNumber: StaticToNumber) {
+    return staticToNumber instanceof StaticToNumber;
+}
+
+declare class NormalToString {
+    toString(): void;
+}
+function baz(normal: NormalToString) {
+    return normal instanceof NormalToString;
+}