diff --git a/tests/baselines/reference/APISample_linter.js b/tests/baselines/reference/APISample_linter.js
index 9b2675535f2..ca7078981f7 100644
--- a/tests/baselines/reference/APISample_linter.js
+++ b/tests/baselines/reference/APISample_linter.js
@@ -75,28 +75,28 @@ function delint(sourceFile) {
     delintNode(sourceFile);
     function delintNode(node) {
         switch (node.kind) {
-            case 189 /* ForStatement */:
-            case 190 /* ForInStatement */:
-            case 188 /* WhileStatement */:
-            case 187 /* DoStatement */:
-                if (node.statement.kind !== 182 /* Block */) {
+            case 191 /* ForStatement */:
+            case 192 /* ForInStatement */:
+            case 190 /* WhileStatement */:
+            case 189 /* DoStatement */:
+                if (node.statement.kind !== 184 /* Block */) {
                     report(node, "A looping statement's contents should be wrapped in a block body.");
                 }
                 break;
-            case 186 /* IfStatement */:
+            case 188 /* IfStatement */:
                 var ifStatement = node;
-                if (ifStatement.thenStatement.kind !== 182 /* Block */) {
+                if (ifStatement.thenStatement.kind !== 184 /* Block */) {
                     report(ifStatement.thenStatement, "An if statement's contents should be wrapped in a block body.");
                 }
                 if (ifStatement.elseStatement &&
-                    ifStatement.elseStatement.kind !== 182 /* Block */ &&
-                    ifStatement.elseStatement.kind !== 186 /* IfStatement */) {
+                    ifStatement.elseStatement.kind !== 184 /* Block */ &&
+                    ifStatement.elseStatement.kind !== 188 /* IfStatement */) {
                     report(ifStatement.elseStatement, "An else statement's contents should be wrapped in a block body.");
                 }
                 break;
-            case 172 /* BinaryExpression */:
+            case 173 /* BinaryExpression */:
                 var op = node.operatorToken.kind;
-                if (op === 28 /* EqualsEqualsToken */ || op == 29 /* ExclamationEqualsToken */) {
+                if (op === 29 /* EqualsEqualsToken */ || op == 30 /* ExclamationEqualsToken */) {
                     report(node, "Use '===' and '!=='.");
                 }
                 break;
diff --git a/tests/baselines/reference/asOperator1.js b/tests/baselines/reference/asOperator1.js
new file mode 100644
index 00000000000..1b23d0a86f7
--- /dev/null
+++ b/tests/baselines/reference/asOperator1.js
@@ -0,0 +1,19 @@
+//// [asOperator1.ts]
+var as = 43;
+var x = undefined as number;
+var y = (null as string).length;
+var z = Date as any as string;
+
+// Should parse as a union type, not a bitwise 'or' of (32 as number) and 'string'
+var j = 32 as number|string;
+j = '';
+
+
+//// [asOperator1.js]
+var as = 43;
+var x = undefined;
+var y = null.length;
+var z = Date;
+// Should parse as a union type, not a bitwise 'or' of (32 as number) and 'string'
+var j = 32;
+j = '';
diff --git a/tests/baselines/reference/asOperator1.symbols b/tests/baselines/reference/asOperator1.symbols
new file mode 100644
index 00000000000..27353ec7b30
--- /dev/null
+++ b/tests/baselines/reference/asOperator1.symbols
@@ -0,0 +1,24 @@
+=== tests/cases/conformance/expressions/asOperator/asOperator1.ts ===
+var as = 43;
+>as : Symbol(as, Decl(asOperator1.ts, 0, 3))
+
+var x = undefined as number;
+>x : Symbol(x, Decl(asOperator1.ts, 1, 3))
+>undefined : Symbol(undefined)
+
+var y = (null as string).length;
+>y : Symbol(y, Decl(asOperator1.ts, 2, 3))
+>(null as string).length : Symbol(String.length, Decl(lib.d.ts, 414, 19))
+>length : Symbol(String.length, Decl(lib.d.ts, 414, 19))
+
+var z = Date as any as string;
+>z : Symbol(z, Decl(asOperator1.ts, 3, 3))
+>Date : Symbol(Date, Decl(lib.d.ts, 633, 23), Decl(lib.d.ts, 815, 11))
+
+// Should parse as a union type, not a bitwise 'or' of (32 as number) and 'string'
+var j = 32 as number|string;
+>j : Symbol(j, Decl(asOperator1.ts, 6, 3))
+
+j = '';
+>j : Symbol(j, Decl(asOperator1.ts, 6, 3))
+
diff --git a/tests/baselines/reference/asOperator1.types b/tests/baselines/reference/asOperator1.types
new file mode 100644
index 00000000000..3f69871ea09
--- /dev/null
+++ b/tests/baselines/reference/asOperator1.types
@@ -0,0 +1,35 @@
+=== tests/cases/conformance/expressions/asOperator/asOperator1.ts ===
+var as = 43;
+>as : number
+>43 : number
+
+var x = undefined as number;
+>x : number
+>undefined as number : number
+>undefined : undefined
+
+var y = (null as string).length;
+>y : number
+>(null as string).length : number
+>(null as string) : string
+>null as string : string
+>null : null
+>length : number
+
+var z = Date as any as string;
+>z : string
+>Date as any as string : string
+>Date as any : any
+>Date : DateConstructor
+
+// Should parse as a union type, not a bitwise 'or' of (32 as number) and 'string'
+var j = 32 as number|string;
+>j : string | number
+>32 as number|string : string | number
+>32 : number
+
+j = '';
+>j = '' : string
+>j : string | number
+>'' : string
+
diff --git a/tests/baselines/reference/asOperator2.errors.txt b/tests/baselines/reference/asOperator2.errors.txt
new file mode 100644
index 00000000000..3b074038c26
--- /dev/null
+++ b/tests/baselines/reference/asOperator2.errors.txt
@@ -0,0 +1,8 @@
+tests/cases/conformance/expressions/asOperator/asOperator2.ts(1,9): error TS2352: Neither type 'number' nor type 'string' is assignable to the other.
+
+
+==== tests/cases/conformance/expressions/asOperator/asOperator2.ts (1 errors) ====
+    var x = 23 as string;
+            ~~~~~~~~~~~~
+!!! error TS2352: Neither type 'number' nor type 'string' is assignable to the other.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/asOperator2.js b/tests/baselines/reference/asOperator2.js
new file mode 100644
index 00000000000..32962555d51
--- /dev/null
+++ b/tests/baselines/reference/asOperator2.js
@@ -0,0 +1,6 @@
+//// [asOperator2.ts]
+var x = 23 as string;
+
+
+//// [asOperator2.js]
+var x = 23;
diff --git a/tests/baselines/reference/asOperator3.js b/tests/baselines/reference/asOperator3.js
new file mode 100644
index 00000000000..406eae1c9d6
--- /dev/null
+++ b/tests/baselines/reference/asOperator3.js
@@ -0,0 +1,22 @@
+//// [asOperator3.ts]
+declare function tag(...x: any[]): any;
+
+var a = `${123 + 456 as number}`;
+var b = `leading ${123 + 456 as number}`;
+var c = `${123 + 456 as number} trailing`;
+var d = `Hello ${123} World` as string;
+var e = `Hello` as string;
+var f = 1 + `${1} end of string` as string;
+var g = tag `Hello ${123} World` as string;
+var h = tag `Hello` as string;
+
+//// [asOperator3.js]
+var a = "" + 123 + 456;
+var b = "leading " + 123 + 456;
+var c = 123 + 456 + " trailing";
+var d = ("Hello " + 123 + " World");
+var e = "Hello";
+var f = 1 + (1 + " end of string");
+var g = (_a = ["Hello ", " World"], _a.raw = ["Hello ", " World"], tag(_a, 123));
+var h = (_b = ["Hello"], _b.raw = ["Hello"], tag(_b));
+var _a, _b;
diff --git a/tests/baselines/reference/asOperator3.symbols b/tests/baselines/reference/asOperator3.symbols
new file mode 100644
index 00000000000..d29a64d3c3a
--- /dev/null
+++ b/tests/baselines/reference/asOperator3.symbols
@@ -0,0 +1,31 @@
+=== tests/cases/conformance/expressions/asOperator/asOperator3.ts ===
+declare function tag(...x: any[]): any;
+>tag : Symbol(tag, Decl(asOperator3.ts, 0, 0))
+>x : Symbol(x, Decl(asOperator3.ts, 0, 21))
+
+var a = `${123 + 456 as number}`;
+>a : Symbol(a, Decl(asOperator3.ts, 2, 3))
+
+var b = `leading ${123 + 456 as number}`;
+>b : Symbol(b, Decl(asOperator3.ts, 3, 3))
+
+var c = `${123 + 456 as number} trailing`;
+>c : Symbol(c, Decl(asOperator3.ts, 4, 3))
+
+var d = `Hello ${123} World` as string;
+>d : Symbol(d, Decl(asOperator3.ts, 5, 3))
+
+var e = `Hello` as string;
+>e : Symbol(e, Decl(asOperator3.ts, 6, 3))
+
+var f = 1 + `${1} end of string` as string;
+>f : Symbol(f, Decl(asOperator3.ts, 7, 3))
+
+var g = tag `Hello ${123} World` as string;
+>g : Symbol(g, Decl(asOperator3.ts, 8, 3))
+>tag : Symbol(tag, Decl(asOperator3.ts, 0, 0))
+
+var h = tag `Hello` as string;
+>h : Symbol(h, Decl(asOperator3.ts, 9, 3))
+>tag : Symbol(tag, Decl(asOperator3.ts, 0, 0))
+
diff --git a/tests/baselines/reference/asOperator3.types b/tests/baselines/reference/asOperator3.types
new file mode 100644
index 00000000000..507dfd8b572
--- /dev/null
+++ b/tests/baselines/reference/asOperator3.types
@@ -0,0 +1,63 @@
+=== tests/cases/conformance/expressions/asOperator/asOperator3.ts ===
+declare function tag(...x: any[]): any;
+>tag : (...x: any[]) => any
+>x : any[]
+
+var a = `${123 + 456 as number}`;
+>a : string
+>`${123 + 456 as number}` : string
+>123 + 456 as number : number
+>123 + 456 : number
+>123 : number
+>456 : number
+
+var b = `leading ${123 + 456 as number}`;
+>b : string
+>`leading ${123 + 456 as number}` : string
+>123 + 456 as number : number
+>123 + 456 : number
+>123 : number
+>456 : number
+
+var c = `${123 + 456 as number} trailing`;
+>c : string
+>`${123 + 456 as number} trailing` : string
+>123 + 456 as number : number
+>123 + 456 : number
+>123 : number
+>456 : number
+
+var d = `Hello ${123} World` as string;
+>d : string
+>`Hello ${123} World` as string : string
+>`Hello ${123} World` : string
+>123 : number
+
+var e = `Hello` as string;
+>e : string
+>`Hello` as string : string
+>`Hello` : string
+
+var f = 1 + `${1} end of string` as string;
+>f : string
+>1 + `${1} end of string` as string : string
+>1 + `${1} end of string` : string
+>1 : number
+>`${1} end of string` : string
+>1 : number
+
+var g = tag `Hello ${123} World` as string;
+>g : string
+>tag `Hello ${123} World` as string : string
+>tag `Hello ${123} World` : any
+>tag : (...x: any[]) => any
+>`Hello ${123} World` : string
+>123 : number
+
+var h = tag `Hello` as string;
+>h : string
+>tag `Hello` as string : string
+>tag `Hello` : any
+>tag : (...x: any[]) => any
+>`Hello` : string
+
diff --git a/tests/baselines/reference/asOperatorASI.js b/tests/baselines/reference/asOperatorASI.js
new file mode 100644
index 00000000000..1df39b36e50
--- /dev/null
+++ b/tests/baselines/reference/asOperatorASI.js
@@ -0,0 +1,26 @@
+//// [asOperatorASI.ts]
+class Foo { }
+declare function as(...args: any[]);
+
+// Example 1
+var x = 10
+as `Hello world`; // should not error
+
+// Example 2
+var y = 20
+as(Foo); // should emit
+
+
+//// [asOperatorASI.js]
+var Foo = (function () {
+    function Foo() {
+    }
+    return Foo;
+})();
+// Example 1
+var x = 10;
+(_a = ["Hello world"], _a.raw = ["Hello world"], as(_a)); // should not error
+// Example 2
+var y = 20;
+as(Foo); // should emit
+var _a;
diff --git a/tests/baselines/reference/asOperatorASI.symbols b/tests/baselines/reference/asOperatorASI.symbols
new file mode 100644
index 00000000000..7def6d460c1
--- /dev/null
+++ b/tests/baselines/reference/asOperatorASI.symbols
@@ -0,0 +1,23 @@
+=== tests/cases/conformance/expressions/asOperator/asOperatorASI.ts ===
+class Foo { }
+>Foo : Symbol(Foo, Decl(asOperatorASI.ts, 0, 0))
+
+declare function as(...args: any[]);
+>as : Symbol(as, Decl(asOperatorASI.ts, 0, 13))
+>args : Symbol(args, Decl(asOperatorASI.ts, 1, 20))
+
+// Example 1
+var x = 10
+>x : Symbol(x, Decl(asOperatorASI.ts, 4, 3))
+
+as `Hello world`; // should not error
+>as : Symbol(as, Decl(asOperatorASI.ts, 0, 13))
+
+// Example 2
+var y = 20
+>y : Symbol(y, Decl(asOperatorASI.ts, 8, 3))
+
+as(Foo); // should emit
+>as : Symbol(as, Decl(asOperatorASI.ts, 0, 13))
+>Foo : Symbol(Foo, Decl(asOperatorASI.ts, 0, 0))
+
diff --git a/tests/baselines/reference/asOperatorASI.types b/tests/baselines/reference/asOperatorASI.types
new file mode 100644
index 00000000000..61c2d115cf4
--- /dev/null
+++ b/tests/baselines/reference/asOperatorASI.types
@@ -0,0 +1,28 @@
+=== tests/cases/conformance/expressions/asOperator/asOperatorASI.ts ===
+class Foo { }
+>Foo : Foo
+
+declare function as(...args: any[]);
+>as : (...args: any[]) => any
+>args : any[]
+
+// Example 1
+var x = 10
+>x : number
+>10 : number
+
+as `Hello world`; // should not error
+>as `Hello world` : any
+>as : (...args: any[]) => any
+>`Hello world` : string
+
+// Example 2
+var y = 20
+>y : number
+>20 : number
+
+as(Foo); // should emit
+>as(Foo) : any
+>as : (...args: any[]) => any
+>Foo : typeof Foo
+
diff --git a/tests/baselines/reference/asOperatorAmbiguity.errors.txt b/tests/baselines/reference/asOperatorAmbiguity.errors.txt
new file mode 100644
index 00000000000..cb7c6d4132c
--- /dev/null
+++ b/tests/baselines/reference/asOperatorAmbiguity.errors.txt
@@ -0,0 +1,15 @@
+tests/cases/conformance/expressions/asOperator/asOperatorAmbiguity.ts(7,14): error TS2339: Property 'm' does not exist on type 'A<B>'.
+
+
+==== tests/cases/conformance/expressions/asOperator/asOperatorAmbiguity.ts (1 errors) ====
+    interface A<T> { x: T; }
+    interface B { m: string; }
+    
+    // Make sure this is a type assertion to an array type, and not nested comparison operators.
+    var x: any;
+    var y = x as A<B>[];
+    var z = y[0].m; // z should be string
+                 ~
+!!! error TS2339: Property 'm' does not exist on type 'A<B>'.
+    
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/asOperatorAmbiguity.js b/tests/baselines/reference/asOperatorAmbiguity.js
new file mode 100644
index 00000000000..6c336970b65
--- /dev/null
+++ b/tests/baselines/reference/asOperatorAmbiguity.js
@@ -0,0 +1,16 @@
+//// [asOperatorAmbiguity.ts]
+interface A<T> { x: T; }
+interface B { m: string; }
+
+// Make sure this is a type assertion to an array type, and not nested comparison operators.
+var x: any;
+var y = x as A<B>[];
+var z = y[0].m; // z should be string
+
+
+
+//// [asOperatorAmbiguity.js]
+// Make sure this is a type assertion to an array type, and not nested comparison operators.
+var x;
+var y = x;
+var z = y[0].m; // z should be string
diff --git a/tests/baselines/reference/asOperatorContextualType.errors.txt b/tests/baselines/reference/asOperatorContextualType.errors.txt
new file mode 100644
index 00000000000..c53b407b5cf
--- /dev/null
+++ b/tests/baselines/reference/asOperatorContextualType.errors.txt
@@ -0,0 +1,10 @@
+tests/cases/conformance/expressions/asOperator/asOperatorContextualType.ts(2,9): error TS2352: Neither type '(v: number) => number' nor type '(x: number) => string' is assignable to the other.
+  Type 'number' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/expressions/asOperator/asOperatorContextualType.ts (1 errors) ====
+    // should error
+    var x = (v => v) as (x: number) => string;
+            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2352: Neither type '(v: number) => number' nor type '(x: number) => string' is assignable to the other.
+!!! error TS2352:   Type 'number' is not assignable to type 'string'.
\ No newline at end of file
diff --git a/tests/baselines/reference/asOperatorContextualType.js b/tests/baselines/reference/asOperatorContextualType.js
new file mode 100644
index 00000000000..7b495ada8f4
--- /dev/null
+++ b/tests/baselines/reference/asOperatorContextualType.js
@@ -0,0 +1,7 @@
+//// [asOperatorContextualType.ts]
+// should error
+var x = (v => v) as (x: number) => string;
+
+//// [asOperatorContextualType.js]
+// should error
+var x = (function (v) { return v; });
diff --git a/tests/baselines/reference/asOperatorNames.errors.txt b/tests/baselines/reference/asOperatorNames.errors.txt
new file mode 100644
index 00000000000..e3dfaab9884
--- /dev/null
+++ b/tests/baselines/reference/asOperatorNames.errors.txt
@@ -0,0 +1,11 @@
+tests/cases/conformance/expressions/asOperator/asOperatorNames.ts(2,9): error TS2352: Neither type 'number' nor type 'string' is assignable to the other.
+
+
+==== tests/cases/conformance/expressions/asOperator/asOperatorNames.ts (1 errors) ====
+    var a = 20;
+    var b = a as string;
+            ~~~~~~~~~~~
+!!! error TS2352: Neither type 'number' nor type 'string' is assignable to the other.
+    var as = "hello";
+    var as1 = as as string;
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/asOperatorNames.js b/tests/baselines/reference/asOperatorNames.js
new file mode 100644
index 00000000000..35e80d080e3
--- /dev/null
+++ b/tests/baselines/reference/asOperatorNames.js
@@ -0,0 +1,12 @@
+//// [asOperatorNames.ts]
+var a = 20;
+var b = a as string;
+var as = "hello";
+var as1 = as as string;
+
+
+//// [asOperatorNames.js]
+var a = 20;
+var b = a;
+var as = "hello";
+var as1 = as;
diff --git a/tests/baselines/reference/jsxAndTypeAssertion.errors.txt b/tests/baselines/reference/jsxAndTypeAssertion.errors.txt
new file mode 100644
index 00000000000..8e7132007d8
--- /dev/null
+++ b/tests/baselines/reference/jsxAndTypeAssertion.errors.txt
@@ -0,0 +1,125 @@
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(7,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(7,13): error TS2304: Cannot find name 'test'.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(7,17): error TS1005: '}' expected.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(7,19): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(9,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(9,10): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(11,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(11,17): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(11,32): error TS1005: '}' expected.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(13,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(13,16): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(13,36): error TS1005: '}' expected.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(15,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(15,16): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(15,31): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(15,45): error TS1005: '}' expected.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(17,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(17,23): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(19,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(19,7): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(19,12): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(19,34): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(19,39): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(19,53): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(19,58): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(22,1): error TS1005: ':' expected.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(22,1): error TS17002: Expected corresponding JSX closing tag for 'any'.
+tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx(22,1): error TS17002: Expected corresponding JSX closing tag for 'foo'.
+
+
+==== tests/cases/conformance/jsx/jsxAndTypeAssertion.tsx (28 errors) ====
+    
+    declare var createElement: any;
+    
+    class foo {}
+    
+    var x: any;
+    x = <any> { test: <any></any> };
+        ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                ~~~~
+!!! error TS2304: Cannot find name 'test'.
+                    ~
+!!! error TS1005: '}' expected.
+                      ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    x = <any><any></any>;
+        ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+             ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+     
+    x = <foo>hello {<foo>{}} </foo>;
+        ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                   ~
+!!! error TS1005: '}' expected.
+    
+    x = <foo test={<foo>{}}>hello</foo>;
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+                   ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                       ~
+!!! error TS1005: '}' expected.
+    
+    
+    x = <foo test={<foo>{}}>hello{<foo>{}}</foo>;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+                   ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                  ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                                ~
+!!! error TS1005: '}' expected.
+    
+    
+    
+    x = <foo>x</foo>, x = <foo/>;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+        ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                          ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    
+    
+    <foo>{<foo><foo>{/foo/.test(x) ? <foo><foo></foo> : <foo><foo></foo>}</foo>}</foo>
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+          ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+               ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                     ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                          ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                                        ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                                             ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    
+    
+        
+    ~~~~
+    ~~~~
+    
+    
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+!!! error TS1005: ':' expected.
+    
+!!! error TS17002: Expected corresponding JSX closing tag for 'any'.
+    
+!!! error TS17002: Expected corresponding JSX closing tag for 'foo'.
\ No newline at end of file
diff --git a/tests/baselines/reference/jsxAndTypeAssertion.js b/tests/baselines/reference/jsxAndTypeAssertion.js
new file mode 100644
index 00000000000..26af23a2051
--- /dev/null
+++ b/tests/baselines/reference/jsxAndTypeAssertion.js
@@ -0,0 +1,47 @@
+//// [jsxAndTypeAssertion.tsx]
+
+declare var createElement: any;
+
+class foo {}
+
+var x: any;
+x = <any> { test: <any></any> };
+
+x = <any><any></any>;
+ 
+x = <foo>hello {<foo>{}} </foo>;
+
+x = <foo test={<foo>{}}>hello</foo>;
+
+x = <foo test={<foo>{}}>hello{<foo>{}}</foo>;
+
+x = <foo>x</foo>, x = <foo/>;
+
+<foo>{<foo><foo>{/foo/.test(x) ? <foo><foo></foo> : <foo><foo></foo>}</foo>}</foo>
+
+    
+
+
+//// [jsxAndTypeAssertion.jsx]
+var foo = (function () {
+    function foo() {
+    }
+    return foo;
+})();
+var x;
+x = <any> {test}: <any></any> };
+
+x = <any><any></any>;
+ 
+x = <foo>hello {<foo>} </foo>};
+
+x = <foo test={<foo>}>hello</foo>} x=<foo test={<foo>}>hello{<foo>}</foo>};
+
+x = <foo>x</foo>, x = <foo />;
+
+<foo>{<foo><foo>{/foo/.test(x) ? <foo><foo></foo> : <foo><foo></foo>}</foo>}</foo>
+    :
+}
+
+    
+</></>}</></>}></>></></></></>;
diff --git a/tests/baselines/reference/jsxEsprimaFbTestSuite.errors.txt b/tests/baselines/reference/jsxEsprimaFbTestSuite.errors.txt
new file mode 100644
index 00000000000..b6c083e3309
--- /dev/null
+++ b/tests/baselines/reference/jsxEsprimaFbTestSuite.errors.txt
@@ -0,0 +1,131 @@
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(9,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(15,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(17,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(18,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(21,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(23,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(29,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(29,11): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(29,19): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(31,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(33,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(35,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(37,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(37,6): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(39,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(39,17): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(39,29): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(41,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(43,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(45,2): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(47,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(49,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(51,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx(53,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+
+
+==== tests/cases/conformance/jsx/jsxEsprimaFbTestSuite.tsx (24 errors) ====
+    declare var React: any;
+    declare var 日本語;
+    declare var AbC_def;
+    declare var LeftRight;
+    declare var x;
+    declare var a;
+    declare var props;
+    
+    <a />;
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    //<n:a n:v />; Namespace unsuported
+    
+    //<a n:foo="bar"> {value} <b><c /></b></a>;  Namespace unsuported
+    
+    <a b={" "} c=" " d="&amp;" e="id=1&group=2" f="&#123456789" g="&#123*;" h="&#x;" />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <a b="&notanentity;" />;
+    ~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    <a
+    ~~
+    />;
+    ~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <日本語></日本語>;
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <AbC_def
+    ~~~~~~~~
+      test="&#x0026;&#38;">
+    ~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    bar
+    baz
+    </AbC_def>;
+    
+    <a b={x ? <c /> : <d />} />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+              ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                      ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <a>{}</a>;
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <a>{/* this is a comment */}</a>;
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <div>@test content</div>;
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <div><br />7x invalid-js-identifier</div>;
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+         ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <LeftRight left=<a /> right=<b>monkeys /> gorillas</b> />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <a.b></a.b>;
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <a.b.c></a.b.c>;
+    ~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    (<div />) < x;
+     ~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <div {...props} />;
+    ~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <div {...props} post="attribute" />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <div pre="leading" pre2="attribute" {...props}></div>;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <a>    </a>;
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/jsxEsprimaFbTestSuite.js b/tests/baselines/reference/jsxEsprimaFbTestSuite.js
new file mode 100644
index 00000000000..2050c39972c
--- /dev/null
+++ b/tests/baselines/reference/jsxEsprimaFbTestSuite.js
@@ -0,0 +1,81 @@
+//// [jsxEsprimaFbTestSuite.tsx]
+declare var React: any;
+declare var 日本語;
+declare var AbC_def;
+declare var LeftRight;
+declare var x;
+declare var a;
+declare var props;
+
+<a />;
+
+//<n:a n:v />; Namespace unsuported
+
+//<a n:foo="bar"> {value} <b><c /></b></a>;  Namespace unsuported
+
+<a b={" "} c=" " d="&amp;" e="id=1&group=2" f="&#123456789" g="&#123*;" h="&#x;" />;
+
+<a b="&notanentity;" />;
+<a
+/>;
+
+<日本語></日本語>;
+
+<AbC_def
+  test="&#x0026;&#38;">
+bar
+baz
+</AbC_def>;
+
+<a b={x ? <c /> : <d />} />;
+
+<a>{}</a>;
+
+<a>{/* this is a comment */}</a>;
+
+<div>@test content</div>;
+
+<div><br />7x invalid-js-identifier</div>;
+
+<LeftRight left=<a /> right=<b>monkeys /> gorillas</b> />;
+
+<a.b></a.b>;
+
+<a.b.c></a.b.c>;
+
+(<div />) < x;
+
+<div {...props} />;
+
+<div {...props} post="attribute" />;
+
+<div pre="leading" pre2="attribute" {...props}></div>;
+
+<a>    </a>;
+
+
+//// [jsxEsprimaFbTestSuite.jsx]
+<a />;
+//<n:a n:v />; Namespace unsuported
+//<a n:foo="bar"> {value} <b><c /></b></a>;  Namespace unsuported
+<a b={" "} c=" " d="&amp;" e="id=1&group=2" f="&#123456789" g="&#123*;" h="&#x;"/>;
+<a b="&notanentity;"/>;
+<a />;
+<日本語></日本語>;
+<AbC_def test="&#x0026;&#38;">
+bar
+baz
+</AbC_def>;
+<a b={x ? <c /> : <d />}/>;
+<a></a>;
+<a></a>;
+<div>@test content</div>;
+<div><br />7x invalid-js-identifier</div>;
+<LeftRight left=<a /> right=<b>monkeys /> gorillas</b>/>;
+<a.b></a.b>;
+<a.b.c></a.b.c>;
+(<div />) < x;
+<div {...props}/>;
+<div {...props} post="attribute"/>;
+<div pre="leading" pre2="attribute" {...props}></div>;
+<a>    </a>;
diff --git a/tests/baselines/reference/jsxInvalidEsprimaTestSuite.errors.txt b/tests/baselines/reference/jsxInvalidEsprimaTestSuite.errors.txt
new file mode 100644
index 00000000000..7f3d60f8361
--- /dev/null
+++ b/tests/baselines/reference/jsxInvalidEsprimaTestSuite.errors.txt
@@ -0,0 +1,283 @@
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(3,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(3,2): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(4,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(4,3): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(5,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(5,2): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(6,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(6,6): error TS1005: '{' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(6,6): error TS2304: Cannot find name 'd'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(6,9): error TS1109: Expression expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(6,10): error TS1109: Expression expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(7,1): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(7,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(8,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(8,4): error TS17002: Expected corresponding JSX closing tag for 'a'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(9,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(9,13): error TS1002: Unterminated string literal.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(10,1): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(10,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(10,3): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(10,6): error TS17002: Expected corresponding JSX closing tag for 'a'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(11,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(11,3): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(11,5): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(11,11): error TS1005: '>' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(12,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(12,2): error TS2304: Cannot find name 'a'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(12,5): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(12,13): error TS1005: '>' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(13,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(13,2): error TS2304: Cannot find name 'a'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(13,8): error TS17002: Expected corresponding JSX closing tag for 'a.b.c'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(14,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(14,2): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(14,7): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(15,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(15,2): error TS2304: Cannot find name 'a'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(15,4): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(15,9): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(16,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(16,3): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(16,12): error TS1005: '>' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(17,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(17,3): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(17,14): error TS1005: '>' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(18,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(18,4): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(19,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(20,9): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(20,23): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(21,9): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(21,50): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(22,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(22,10): error TS1005: '}' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(23,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(23,20): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(24,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(24,15): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(25,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(25,7): error TS1005: '...' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(25,7): error TS2304: Cannot find name 'props'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(27,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(27,17): error TS1005: '>' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(27,18): error TS1109: Expression expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(28,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(28,10): error TS2304: Cannot find name 'props'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(28,28): error TS1005: '>' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(28,29): error TS1109: Expression expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(30,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(31,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(32,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(32,6): error TS1005: '{' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(33,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(33,6): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(33,7): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(34,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(35,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(35,4): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(35,21): error TS1005: '</' expected.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(35,21): error TS17002: Expected corresponding JSX closing tag for 'a'.
+tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx(35,21): error TS17002: Expected corresponding JSX closing tag for 'div'.
+
+
+==== tests/cases/conformance/jsx/jsxInvalidEsprimaTestSuite.tsx (81 errors) ====
+    declare var React: any;
+    
+    </>;
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+     ~
+!!! error TS1003: Identifier expected.
+    <a: />;
+    ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      ~
+!!! error TS1003: Identifier expected.
+    <:a />;
+    ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+     ~
+!!! error TS1003: Identifier expected.
+    <a b=d />;
+    ~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+         ~
+!!! error TS1005: '{' expected.
+         ~
+!!! error TS2304: Cannot find name 'd'.
+            ~
+!!! error TS1109: Expression expected.
+             ~
+!!! error TS1109: Expression expected.
+    <a>;
+    ~
+!!! error TS1003: Identifier expected.
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    <a></b>;
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+       ~~~~
+!!! error TS17002: Expected corresponding JSX closing tag for 'a'.
+    <a foo="bar;
+    ~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                
+!!! error TS1002: Unterminated string literal.
+    <a:b></b>;
+    ~
+!!! error TS1003: Identifier expected.
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      ~
+!!! error TS1003: Identifier expected.
+         ~~~~
+!!! error TS17002: Expected corresponding JSX closing tag for 'a'.
+    <a:b.c></a:b.c>;
+    ~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      ~
+!!! error TS1003: Identifier expected.
+        ~
+!!! error TS1003: Identifier expected.
+              ~
+!!! error TS1005: '>' expected.
+    <a.b:c></a.b:c>;
+    ~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+     ~
+!!! error TS2304: Cannot find name 'a'.
+        ~
+!!! error TS1003: Identifier expected.
+                ~
+!!! error TS1005: '>' expected.
+    <a.b.c></a>;
+    ~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+     ~
+!!! error TS2304: Cannot find name 'a'.
+           ~~~~
+!!! error TS17002: Expected corresponding JSX closing tag for 'a.b.c'.
+    <.a></.a>;
+    ~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+     ~
+!!! error TS1003: Identifier expected.
+          ~
+!!! error TS1003: Identifier expected.
+    <a.></a.>;
+    ~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+     ~
+!!! error TS2304: Cannot find name 'a'.
+       ~
+!!! error TS1003: Identifier expected.
+            ~
+!!! error TS1003: Identifier expected.
+    <a[foo]></a[foo]>;
+    ~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      ~
+!!! error TS1003: Identifier expected.
+               ~
+!!! error TS1005: '>' expected.
+    <a['foo']></a['foo']>;
+    ~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      ~
+!!! error TS1003: Identifier expected.
+                 ~
+!!! error TS1005: '>' expected.
+    <a><a />;
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+       ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    <a b={}>;
+    ~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    var x = <div>one</div><div>two</div>;;
+            ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                          ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    var x = <div>one</div> /* intervening comment */ <div>two</div>;;
+            ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                                     ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    <a>{"str";}</a>;
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+             ~
+!!! error TS1005: '}' expected.
+    <span className="a", id="b" />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                       ~
+!!! error TS1003: Identifier expected.
+    <div className"app">;
+    ~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                  ~~~~~
+!!! error TS1003: Identifier expected.
+    <div {props} />;
+    ~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+          ~~~~~
+!!! error TS1005: '...' expected.
+          ~~~~~
+!!! error TS2304: Cannot find name 'props'.
+    
+    <div>stuff</div {...props}>;
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                    ~
+!!! error TS1005: '>' expected.
+                     ~~~
+!!! error TS1109: Expression expected.
+    <div {...props}>stuff</div {...props}>;
+    ~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+             ~~~~~
+!!! error TS2304: Cannot find name 'props'.
+                               ~
+!!! error TS1005: '>' expected.
+                                ~~~
+!!! error TS1109: Expression expected.
+    
+    <a>></a>;
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    <a> ></a>;
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    <a b=}>;
+    ~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+         ~
+!!! error TS1005: '{' expected.
+    <a b=<}>;
+    ~~~~~~~~~
+         ~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+          ~
+!!! error TS1003: Identifier expected.
+    <a>}</a>;
+    ~~~~~~~~~
+    ~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    <a .../*hai*/asdf/>;
+    ~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    ~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+       ~~~
+!!! error TS1003: Identifier expected.
+                        
+!!! error TS1005: '</' expected.
+                        
+!!! error TS17002: Expected corresponding JSX closing tag for 'a'.
+                        
+!!! error TS17002: Expected corresponding JSX closing tag for 'div'.
\ No newline at end of file
diff --git a/tests/baselines/reference/jsxInvalidEsprimaTestSuite.js b/tests/baselines/reference/jsxInvalidEsprimaTestSuite.js
new file mode 100644
index 00000000000..1700c7a14b6
--- /dev/null
+++ b/tests/baselines/reference/jsxInvalidEsprimaTestSuite.js
@@ -0,0 +1,71 @@
+//// [jsxInvalidEsprimaTestSuite.tsx]
+declare var React: any;
+
+</>;
+<a: />;
+<:a />;
+<a b=d />;
+<a>;
+<a></b>;
+<a foo="bar;
+<a:b></b>;
+<a:b.c></a:b.c>;
+<a.b:c></a.b:c>;
+<a.b.c></a>;
+<.a></.a>;
+<a.></a.>;
+<a[foo]></a[foo]>;
+<a['foo']></a['foo']>;
+<a><a />;
+<a b={}>;
+var x = <div>one</div><div>two</div>;;
+var x = <div>one</div> /* intervening comment */ <div>two</div>;;
+<a>{"str";}</a>;
+<span className="a", id="b" />;
+<div className"app">;
+<div {props} />;
+
+<div>stuff</div {...props}>;
+<div {...props}>stuff</div {...props}>;
+
+<a>></a>;
+<a> ></a>;
+<a b=}>;
+<a b=<}>;
+<a>}</a>;
+<a .../*hai*/asdf/>;
+
+//// [jsxInvalidEsprimaTestSuite.jsx]
+< />;
+<a />;
+< a=/>;
+<a b={d /  > }>
+<a>;
+<a></b>;
+<a foo="bar;>
+<a b=></b>;
+<a b= c=></a>:b.c>;
+<a.b c=></a.b>:c>;
+<a.b.c></a>;
+<.a></.a>;
+<a.></a.>;
+<a>[foo]></a>[foo]>;
+<a>['foo']></a>['foo']>;
+<a><a />;
+<a b=>;
+var x = <div>one</div><div>two</div>;;
+var x = <div>one</div> /* intervening comment */ /* intervening comment */ <div>two</div>;;
+<a>{"str"};}</a>;
+<span className="a" id="b"/>;
+<div className=>"app">;
+<div {...props}/>;
+
+<div>stuff</div> {}...props}>;
+<div {...props}>stuff</div> {}...props}>;
+
+<a>></a>;
+<a> ></a>;
+<a b=>;
+<a b=<>}>;
+<a>}</a>;
+<a asdf=/>;</>></></></></></></></></>;
diff --git a/tests/baselines/reference/jsxReactTestSuite.errors.txt b/tests/baselines/reference/jsxReactTestSuite.errors.txt
new file mode 100644
index 00000000000..4e9e5c42492
--- /dev/null
+++ b/tests/baselines/reference/jsxReactTestSuite.errors.txt
@@ -0,0 +1,246 @@
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(15,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(17,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(21,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(22,3): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(22,8): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(23,3): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(23,19): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(24,3): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(28,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(32,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(33,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(37,3): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(55,3): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(58,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(62,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(69,3): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(73,5): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(79,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(81,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(83,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(85,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(87,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(89,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(91,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(94,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(97,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(99,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(101,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(103,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(105,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(107,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(109,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(112,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(112,38): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/jsxReactTestSuite.tsx(114,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+
+
+==== tests/cases/conformance/jsx/jsxReactTestSuite.tsx (35 errors) ====
+    
+    declare var React: any;
+    declare var Component:any;
+    declare var Composite:any;
+    declare var Composite2:any;
+    declare var Child:any;
+    declare var Namespace:any;
+    declare var foo: any;
+    declare var bar: any;
+    declare var y:any;
+    declare var x:any;
+    declare var z:any;
+    declare var hasOwnProperty:any;
+    
+    <div>text</div>;
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <div>
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      {this.props.children}
+    </div>;
+    
+    <div>
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      <div><br /></div>
+      ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+           ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      <Component>{foo}<br />{bar}</Component>
+      ~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                      ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      <br />
+      ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    </div>;
+    
+    
+    <Composite>
+    ~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+        {this.props.children}
+    </Composite>;
+    
+    <Composite>
+    ~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+        <Composite2 />
+        ~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    </Composite>;
+    
+    var x =
+      <div
+      ~~~~
+        attr1={
+    ~~~~~~~~~~~
+          "foo" + "bar"
+    ~~~~~~~~~~~~~~~~~~~
+        }
+    ~~~~~
+        attr2={
+    ~~~~~~~~~~~
+          "foo" + "bar" +
+    ~~~~~~~~~~~~~~~~~~~~~
+          
+    ~~~~~~
+          "baz" + "bug"
+    ~~~~~~~~~~~~~~~~~~~
+        }
+    ~~~~~
+        attr3={
+    ~~~~~~~~~~~
+          "foo" + "bar" +
+    ~~~~~~~~~~~~~~~~~~~~~
+          "baz" + "bug"
+    ~~~~~~~~~~~~~~~~~~~
+          // Extra line here.
+    ~~~~~~~~~~~~~~~~~~~~~~~~~
+        }
+    ~~~~~
+        attr4="baz">
+    ~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      </div>;
+    
+    (
+      <div>
+      ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+        {/* A comment at the beginning */}
+        {/* A second comment at the beginning */}
+        <span>
+        ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+          {/* A nested comment */}
+        </span>
+        {/* A sandwiched comment */}
+        <br />
+        ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+        {/* A comment at the end */}
+        {/* A second comment at the end */}
+      </div>
+    );
+    
+    (
+      <div
+      ~~~~
+        /* a multi-line
+    ~~~~~~~~~~~~~~~~~~~
+           comment */
+    ~~~~~~~~~~~~~~~~~
+        attr1="foo">
+    ~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+        <span // a double-slash comment
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+          attr2="bar"
+    ~~~~~~~~~~~~~~~~~
+        />
+    ~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+      </div>
+    );
+    
+    <div>&nbsp;</div>;
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <div>&nbsp; </div>;
+    ~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <hasOwnProperty>testing</hasOwnProperty>;
+    ~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Component constructor="foo" />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Namespace.Component />;
+    ~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Namespace.DeepNamespace.Component />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Component { ... x } y
+    ~~~~~~~~~~~~~~~~~~~~~~
+    ={2 } z />;
+    ~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Component
+    ~~~~~~~~~~
+        {...this.props} sound="moo" />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <font-face />;
+    ~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Component x={y} />;
+    ~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <x-component />;
+    ~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Component {...x} />;
+    ~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Component { ...x } y={2} />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Component { ... x } y={2} z />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Component x={1} {...y} />;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    
+    <Component x={1} y="2" {...z} {...z}><Child /></Component>;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+                                         ~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    <Component x="1" {...(z = { y: 2 }, z)} z={3}>Text</Component>;
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/jsxReactTestSuite.js b/tests/baselines/reference/jsxReactTestSuite.js
new file mode 100644
index 00000000000..300274a1614
--- /dev/null
+++ b/tests/baselines/reference/jsxReactTestSuite.js
@@ -0,0 +1,171 @@
+//// [jsxReactTestSuite.tsx]
+
+declare var React: any;
+declare var Component:any;
+declare var Composite:any;
+declare var Composite2:any;
+declare var Child:any;
+declare var Namespace:any;
+declare var foo: any;
+declare var bar: any;
+declare var y:any;
+declare var x:any;
+declare var z:any;
+declare var hasOwnProperty:any;
+
+<div>text</div>;
+
+<div>
+  {this.props.children}
+</div>;
+
+<div>
+  <div><br /></div>
+  <Component>{foo}<br />{bar}</Component>
+  <br />
+</div>;
+
+
+<Composite>
+    {this.props.children}
+</Composite>;
+
+<Composite>
+    <Composite2 />
+</Composite>;
+
+var x =
+  <div
+    attr1={
+      "foo" + "bar"
+    }
+    attr2={
+      "foo" + "bar" +
+      
+      "baz" + "bug"
+    }
+    attr3={
+      "foo" + "bar" +
+      "baz" + "bug"
+      // Extra line here.
+    }
+    attr4="baz">
+  </div>;
+
+(
+  <div>
+    {/* A comment at the beginning */}
+    {/* A second comment at the beginning */}
+    <span>
+      {/* A nested comment */}
+    </span>
+    {/* A sandwiched comment */}
+    <br />
+    {/* A comment at the end */}
+    {/* A second comment at the end */}
+  </div>
+);
+
+(
+  <div
+    /* a multi-line
+       comment */
+    attr1="foo">
+    <span // a double-slash comment
+      attr2="bar"
+    />
+  </div>
+);
+
+<div>&nbsp;</div>;
+
+<div>&nbsp; </div>;
+
+<hasOwnProperty>testing</hasOwnProperty>;
+
+<Component constructor="foo" />;
+
+<Namespace.Component />;
+
+<Namespace.DeepNamespace.Component />;
+
+<Component { ... x } y
+={2 } z />;
+
+<Component
+    {...this.props} sound="moo" />;
+
+<font-face />;
+
+<Component x={y} />;
+
+<x-component />;
+
+<Component {...x} />;
+
+<Component { ...x } y={2} />;
+
+<Component { ... x } y={2} z />;
+
+<Component x={1} {...y} />;
+
+
+<Component x={1} y="2" {...z} {...z}><Child /></Component>;
+
+<Component x="1" {...(z = { y: 2 }, z)} z={3}>Text</Component>;
+
+
+
+
+//// [jsxReactTestSuite.jsx]
+<div>text</div>;
+<div>
+  {this.props.children}
+</div>;
+<div>
+  <div><br /></div>
+  <Component>{foo}<br />{bar}</Component>
+  <br />
+</div>;
+<Composite>
+    {this.props.children}
+</Composite>;
+<Composite>
+    <Composite2 />
+</Composite>;
+var x = <div attr1={"foo" + "bar"} attr2={"foo" + "bar" +
+    "baz" + "bug"} attr3={"foo" + "bar" +
+    "baz" + "bug"} attr4="baz">
+  </div>;
+(<div>
+    
+    
+    <span>
+      
+    </span>
+    
+    <br />
+    
+    
+  </div>);
+(<div attr1="foo">
+    <span // a double-slash comment
+ attr2="bar"/>
+  </div>);
+<div>&nbsp;</div>;
+<div>&nbsp; </div>;
+<hasOwnProperty>testing</hasOwnProperty>;
+<Component constructor="foo"/>;
+<Namespace.Component />;
+<Namespace.DeepNamespace.Component />;
+<Component {...x} y={2} z=/>;
+<Component {...this.props} sound="moo"/>;
+<font-face />;
+<Component x={y}/>;
+<x-component />;
+<Component {...x}/>;
+<Component {...x} y={2}/>;
+<Component {...x} y={2} z=/>;
+<Component x={1} {...y}/>;
+<Component x={1} y="2" {...z} {...z}><Child /></Component>;
+<Component x="1" {...(z = { y: 2 }, z)} z={3}>Text</Component>;
diff --git a/tests/baselines/reference/project/invalidRootFile/amd/invalidRootFile.errors.txt b/tests/baselines/reference/project/invalidRootFile/amd/invalidRootFile.errors.txt
index 656b6e1f2a2..bafcc39f48d 100644
--- a/tests/baselines/reference/project/invalidRootFile/amd/invalidRootFile.errors.txt
+++ b/tests/baselines/reference/project/invalidRootFile/amd/invalidRootFile.errors.txt
@@ -1,6 +1,6 @@
 error TS6053: File 'a.ts' not found.
-error TS6054: File 'a.t' has unsupported extension. The only supported extensions are '.ts', '.d.ts'.
+error TS6054: File 'a.t' has unsupported extension. The only supported extensions are '.tsx', '.ts', '.d.ts'.
 
 
 !!! error TS6053: File 'a.ts' not found.
-!!! error TS6054: File 'a.t' has unsupported extension. The only supported extensions are '.ts', '.d.ts'.
\ No newline at end of file
+!!! error TS6054: File 'a.t' has unsupported extension. The only supported extensions are '.tsx', '.ts', '.d.ts'.
\ No newline at end of file
diff --git a/tests/baselines/reference/project/invalidRootFile/node/invalidRootFile.errors.txt b/tests/baselines/reference/project/invalidRootFile/node/invalidRootFile.errors.txt
index 656b6e1f2a2..bafcc39f48d 100644
--- a/tests/baselines/reference/project/invalidRootFile/node/invalidRootFile.errors.txt
+++ b/tests/baselines/reference/project/invalidRootFile/node/invalidRootFile.errors.txt
@@ -1,6 +1,6 @@
 error TS6053: File 'a.ts' not found.
-error TS6054: File 'a.t' has unsupported extension. The only supported extensions are '.ts', '.d.ts'.
+error TS6054: File 'a.t' has unsupported extension. The only supported extensions are '.tsx', '.ts', '.d.ts'.
 
 
 !!! error TS6053: File 'a.ts' not found.
-!!! error TS6054: File 'a.t' has unsupported extension. The only supported extensions are '.ts', '.d.ts'.
\ No newline at end of file
+!!! error TS6054: File 'a.t' has unsupported extension. The only supported extensions are '.tsx', '.ts', '.d.ts'.
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeErrors.errors.txt b/tests/baselines/reference/tsxAttributeErrors.errors.txt
new file mode 100644
index 00000000000..30a897c5163
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeErrors.errors.txt
@@ -0,0 +1,40 @@
+tests/cases/conformance/jsx/tsxAttributeErrors.tsx(15,6): error TS2322: Type 'number' is not assignable to type 'string'.
+tests/cases/conformance/jsx/tsxAttributeErrors.tsx(18,6): error TS2322: Type 'string' is not assignable to type 'number'.
+tests/cases/conformance/jsx/tsxAttributeErrors.tsx(22,6): error TS2606: Property 'text' of JSX spread attribute is not assignable to target property.
+  Type 'number' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/jsx/tsxAttributeErrors.tsx (3 errors) ====
+    
+    declare namespace JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		div: {
+    			text?: string;
+    			width?: number;
+    		}
+    
+    		span: any;
+    	}
+    }
+    
+    // Error, number is not assignable to string
+    <div text={42} />;
+         ~~~~~~~~~
+!!! error TS2322: Type 'number' is not assignable to type 'string'.
+    
+    // Error, string is not assignable to number
+    <div width={'foo'} />;
+         ~~~~~~~~~~~~~
+!!! error TS2322: Type 'string' is not assignable to type 'number'.
+    
+    // Error, number is not assignable to string
+    var attribs = { text: 100 };
+    <div {...attribs} />;
+         ~~~~~~~~~~~~
+!!! error TS2606: Property 'text' of JSX spread attribute is not assignable to target property.
+!!! error TS2606:   Type 'number' is not assignable to type 'string'.
+    
+    // No errors here
+    <span foo='bar' bar={'foo'} />;
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeErrors.js b/tests/baselines/reference/tsxAttributeErrors.js
new file mode 100644
index 00000000000..2ab862e0efe
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeErrors.js
@@ -0,0 +1,38 @@
+//// [tsxAttributeErrors.tsx]
+
+declare namespace JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		div: {
+			text?: string;
+			width?: number;
+		}
+
+		span: any;
+	}
+}
+
+// Error, number is not assignable to string
+<div text={42} />;
+
+// Error, string is not assignable to number
+<div width={'foo'} />;
+
+// Error, number is not assignable to string
+var attribs = { text: 100 };
+<div {...attribs} />;
+
+// No errors here
+<span foo='bar' bar={'foo'} />;
+
+
+//// [tsxAttributeErrors.jsx]
+// Error, number is not assignable to string
+<div text={42}/>;
+// Error, string is not assignable to number
+<div width={'foo'}/>;
+// Error, number is not assignable to string
+var attribs = { text: 100 };
+<div {...attribs}/>;
+// No errors here
+<span foo='bar' bar={'foo'}/>;
diff --git a/tests/baselines/reference/tsxAttributeInvalidNames.errors.txt b/tests/baselines/reference/tsxAttributeInvalidNames.errors.txt
new file mode 100644
index 00000000000..055062237d8
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeInvalidNames.errors.txt
@@ -0,0 +1,25 @@
+tests/cases/conformance/jsx/tsxAttributeInvalidNames.tsx(9,8): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/tsxAttributeInvalidNames.tsx(10,8): error TS1003: Identifier expected.
+tests/cases/conformance/jsx/tsxAttributeInvalidNames.tsx(10,22): error TS1005: '</' expected.
+tests/cases/conformance/jsx/tsxAttributeInvalidNames.tsx(10,22): error TS17002: Expected corresponding JSX closing tag for 'test1'.
+
+
+==== tests/cases/conformance/jsx/tsxAttributeInvalidNames.tsx (4 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		test1: { "data-foo"?: string };
+    	}
+    }
+    
+    // Invalid names
+    <test1 32data={32} />;
+           ~~
+!!! error TS1003: Identifier expected.
+    <test1 -data={32} />;
+           ~
+!!! error TS1003: Identifier expected.
+                         
+!!! error TS1005: '</' expected.
+                         
+!!! error TS17002: Expected corresponding JSX closing tag for 'test1'.
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeInvalidNames.js b/tests/baselines/reference/tsxAttributeInvalidNames.js
new file mode 100644
index 00000000000..d6bb7f5eae7
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeInvalidNames.js
@@ -0,0 +1,16 @@
+//// [tsxAttributeInvalidNames.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		test1: { "data-foo"?: string };
+	}
+}
+
+// Invalid names
+<test1 32data={32} />;
+<test1 -data={32} />;
+
+//// [tsxAttributeInvalidNames.jsx]
+// Invalid names
+<test1> 32data={32} />;
+<test1> -data={32} />;</></>;
diff --git a/tests/baselines/reference/tsxAttributeResolution.js b/tests/baselines/reference/tsxAttributeResolution.js
new file mode 100644
index 00000000000..3acd9b702e1
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution.js
@@ -0,0 +1,14 @@
+//// [tsxAttributeResolution.tsx]
+/// @jsx: preserve
+
+declare namespace JSX {
+	interface IntrinsicElements {
+		x: { y: number; z: string; };
+	}
+}
+
+
+
+
+//// [tsxAttributeResolution.jsx]
+/// @jsx: preserve
diff --git a/tests/baselines/reference/tsxAttributeResolution.symbols b/tests/baselines/reference/tsxAttributeResolution.symbols
new file mode 100644
index 00000000000..06a0b32f637
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution.symbols
@@ -0,0 +1,18 @@
+=== tests/cases/conformance/jsx/tsxAttributeResolution.tsx ===
+/// @jsx: preserve
+
+declare namespace JSX {
+>JSX : Symbol(JSX, Decl(tsxAttributeResolution.tsx, 0, 0))
+
+	interface IntrinsicElements {
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(tsxAttributeResolution.tsx, 2, 23))
+
+		x: { y: number; z: string; };
+>x : Symbol(x, Decl(tsxAttributeResolution.tsx, 3, 30))
+>y : Symbol(y, Decl(tsxAttributeResolution.tsx, 4, 6))
+>z : Symbol(z, Decl(tsxAttributeResolution.tsx, 4, 17))
+	}
+}
+
+
+
diff --git a/tests/baselines/reference/tsxAttributeResolution.types b/tests/baselines/reference/tsxAttributeResolution.types
new file mode 100644
index 00000000000..5e54c43bf80
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution.types
@@ -0,0 +1,18 @@
+=== tests/cases/conformance/jsx/tsxAttributeResolution.tsx ===
+/// @jsx: preserve
+
+declare namespace JSX {
+>JSX : any
+
+	interface IntrinsicElements {
+>IntrinsicElements : IntrinsicElements
+
+		x: { y: number; z: string; };
+>x : { y: number; z: string; }
+>y : number
+>z : string
+	}
+}
+
+
+
diff --git a/tests/baselines/reference/tsxAttributeResolution1.errors.txt b/tests/baselines/reference/tsxAttributeResolution1.errors.txt
new file mode 100644
index 00000000000..54666f46aba
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution1.errors.txt
@@ -0,0 +1,53 @@
+tests/cases/conformance/jsx/tsxAttributeResolution1.tsx(22,8): error TS2322: Type 'string' is not assignable to type 'number'.
+tests/cases/conformance/jsx/tsxAttributeResolution1.tsx(23,8): error TS2339: Property 'y' does not exist on type 'Attribs1'.
+tests/cases/conformance/jsx/tsxAttributeResolution1.tsx(24,8): error TS2339: Property 'y' does not exist on type 'Attribs1'.
+tests/cases/conformance/jsx/tsxAttributeResolution1.tsx(25,8): error TS2322: Type 'string' is not assignable to type 'number'.
+tests/cases/conformance/jsx/tsxAttributeResolution1.tsx(29,1): error TS2324: Property 'reqd' is missing in type '{ reqd: string; }'.
+tests/cases/conformance/jsx/tsxAttributeResolution1.tsx(30,8): error TS2322: Type 'number' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/jsx/tsxAttributeResolution1.tsx (6 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		test1: Attribs1;
+    		test2: { reqd: string };
+    	}
+    }
+    interface Attribs1 {
+    	x?: number;
+    	s?: string;
+    }
+    
+    // OK
+    <test1 x={0} />; // OK
+    <test1 />; // OK
+    <test1 data-x={true} />; // OK
+    
+    <test2 reqd='true' />; // OK
+    <test2 reqd={'true'} />; // OK
+    
+    // Errors
+    <test1 x={'0'} />; // Error, '0' is not number
+           ~~~~~~~
+!!! error TS2322: Type 'string' is not assignable to type 'number'.
+    <test1 y={0} />; // Error, no property "y"
+           ~
+!!! error TS2339: Property 'y' does not exist on type 'Attribs1'.
+    <test1 y="foo" />; // Error, no property "y"
+           ~
+!!! error TS2339: Property 'y' does not exist on type 'Attribs1'.
+    <test1 x="32" />; // Error, "32" is not number
+           ~~~~~~
+!!! error TS2322: Type 'string' is not assignable to type 'number'.
+    // TODO attribute 'var' should be parseable
+    // <test1 var="10" />; // Error, no 'var' property
+    
+    <test2 />; // Error, missing reqd
+    ~~~~~~~~~
+!!! error TS2324: Property 'reqd' is missing in type '{ reqd: string; }'.
+    <test2 reqd={10} />; // Error, reqd is not string
+           ~~~~~~~~~
+!!! error TS2322: Type 'number' is not assignable to type 'string'.
+    
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeResolution1.js b/tests/baselines/reference/tsxAttributeResolution1.js
new file mode 100644
index 00000000000..011ac8034e2
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution1.js
@@ -0,0 +1,50 @@
+//// [tsxAttributeResolution1.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		test1: Attribs1;
+		test2: { reqd: string };
+	}
+}
+interface Attribs1 {
+	x?: number;
+	s?: string;
+}
+
+// OK
+<test1 x={0} />; // OK
+<test1 />; // OK
+<test1 data-x={true} />; // OK
+
+<test2 reqd='true' />; // OK
+<test2 reqd={'true'} />; // OK
+
+// Errors
+<test1 x={'0'} />; // Error, '0' is not number
+<test1 y={0} />; // Error, no property "y"
+<test1 y="foo" />; // Error, no property "y"
+<test1 x="32" />; // Error, "32" is not number
+// TODO attribute 'var' should be parseable
+// <test1 var="10" />; // Error, no 'var' property
+
+<test2 />; // Error, missing reqd
+<test2 reqd={10} />; // Error, reqd is not string
+
+
+
+//// [tsxAttributeResolution1.jsx]
+// OK
+<test1 x={0}/>; // OK
+<test1 />; // OK
+<test1 data-x={true}/>; // OK
+<test2 reqd='true'/>; // OK
+<test2 reqd={'true'}/>; // OK
+// Errors
+<test1 x={'0'}/>; // Error, '0' is not number
+<test1 y={0}/>; // Error, no property "y"
+<test1 y="foo"/>; // Error, no property "y"
+<test1 x="32"/>; // Error, "32" is not number
+// TODO attribute 'var' should be parseable
+// <test1 var="10" />; // Error, no 'var' property
+<test2 />; // Error, missing reqd
+<test2 reqd={10}/>; // Error, reqd is not string
diff --git a/tests/baselines/reference/tsxAttributeResolution2.errors.txt b/tests/baselines/reference/tsxAttributeResolution2.errors.txt
new file mode 100644
index 00000000000..d213ccaf54e
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution2.errors.txt
@@ -0,0 +1,24 @@
+tests/cases/conformance/jsx/tsxAttributeResolution2.tsx(17,21): error TS2339: Property 'leng' does not exist on type 'string'.
+
+
+==== tests/cases/conformance/jsx/tsxAttributeResolution2.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		test1: Attribs1;
+    	}
+    }
+    interface Attribs1 {
+    	c1?: (x: string) => void;
+    }
+    
+    // OK
+    <test1 c1={(x) => x.length} />; // OK
+    <test1 data-c1={(x) => x.leng} />; // OK
+    
+    
+    // Errors
+    <test1 c1={(x) => x.leng} />; // Error, no leng on 'string'
+                        ~~~~
+!!! error TS2339: Property 'leng' does not exist on type 'string'.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeResolution2.js b/tests/baselines/reference/tsxAttributeResolution2.js
new file mode 100644
index 00000000000..564767e6169
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution2.js
@@ -0,0 +1,26 @@
+//// [tsxAttributeResolution2.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		test1: Attribs1;
+	}
+}
+interface Attribs1 {
+	c1?: (x: string) => void;
+}
+
+// OK
+<test1 c1={(x) => x.length} />; // OK
+<test1 data-c1={(x) => x.leng} />; // OK
+
+
+// Errors
+<test1 c1={(x) => x.leng} />; // Error, no leng on 'string'
+
+
+//// [tsxAttributeResolution2.jsx]
+// OK
+<test1 c1={function (x) { return x.length; }}/>; // OK
+<test1 data-c1={function (x) { return x.leng; }}/>; // OK
+// Errors
+<test1 c1={function (x) { return x.leng; }}/>; // Error, no leng on 'string'
diff --git a/tests/baselines/reference/tsxAttributeResolution3.errors.txt b/tests/baselines/reference/tsxAttributeResolution3.errors.txt
new file mode 100644
index 00000000000..c797362e8d7
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution3.errors.txt
@@ -0,0 +1,59 @@
+tests/cases/conformance/jsx/tsxAttributeResolution3.tsx(19,8): error TS2606: Property 'x' of JSX spread attribute is not assignable to target property.
+  Type 'number' is not assignable to type 'string'.
+tests/cases/conformance/jsx/tsxAttributeResolution3.tsx(23,1): error TS2324: Property 'x' is missing in type 'Attribs1'.
+tests/cases/conformance/jsx/tsxAttributeResolution3.tsx(31,15): error TS2606: Property 'x' of JSX spread attribute is not assignable to target property.
+  Type 'number' is not assignable to type 'string'.
+tests/cases/conformance/jsx/tsxAttributeResolution3.tsx(39,8): error TS2322: Type 'number' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/jsx/tsxAttributeResolution3.tsx (4 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		test1: Attribs1;
+    	}
+    }
+    interface Attribs1 {
+    	x: string;
+    	y?: number;
+    	z?: string;
+    }
+    
+    // OK
+    var obj1 = { x: 'foo' };
+    <test1 {...obj1} />
+    
+    // Error, x is not string
+    var obj2 = { x: 32 };
+    <test1 {...obj2} />
+           ~~~~~~~~~
+!!! error TS2606: Property 'x' of JSX spread attribute is not assignable to target property.
+!!! error TS2606:   Type 'number' is not assignable to type 'string'.
+    
+    // Error, x is missing
+    var obj3 = { y: 32 };
+    <test1 {...obj3} />
+    ~~~~~~~~~~~~~~~~~~~
+!!! error TS2324: Property 'x' is missing in type 'Attribs1'.
+    
+    // OK
+    var obj4 = { x: 32, y: 32 };
+    <test1 {...obj4} x="ok" />
+    
+    // Error
+    var obj5 = { x: 32, y: 32 };
+    <test1 x="ok" {...obj5} />
+                  ~~~~~~~~~
+!!! error TS2606: Property 'x' of JSX spread attribute is not assignable to target property.
+!!! error TS2606:   Type 'number' is not assignable to type 'string'.
+    
+    // OK
+    var obj6 = { x: 'ok', y: 32, extra: 100 };
+    <test1 {...obj6} />
+    
+    // Error
+    var obj7 = { x: 'foo' };
+    <test1 x={32} {...obj7} />
+           ~~~~~~
+!!! error TS2322: Type 'number' is not assignable to type 'string'.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeResolution3.js b/tests/baselines/reference/tsxAttributeResolution3.js
new file mode 100644
index 00000000000..8cf853820e1
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution3.js
@@ -0,0 +1,64 @@
+//// [tsxAttributeResolution3.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		test1: Attribs1;
+	}
+}
+interface Attribs1 {
+	x: string;
+	y?: number;
+	z?: string;
+}
+
+// OK
+var obj1 = { x: 'foo' };
+<test1 {...obj1} />
+
+// Error, x is not string
+var obj2 = { x: 32 };
+<test1 {...obj2} />
+
+// Error, x is missing
+var obj3 = { y: 32 };
+<test1 {...obj3} />
+
+// OK
+var obj4 = { x: 32, y: 32 };
+<test1 {...obj4} x="ok" />
+
+// Error
+var obj5 = { x: 32, y: 32 };
+<test1 x="ok" {...obj5} />
+
+// OK
+var obj6 = { x: 'ok', y: 32, extra: 100 };
+<test1 {...obj6} />
+
+// Error
+var obj7 = { x: 'foo' };
+<test1 x={32} {...obj7} />
+
+
+//// [tsxAttributeResolution3.jsx]
+// OK
+var obj1 = { x: 'foo' };
+<test1 {...obj1}/>;
+// Error, x is not string
+var obj2 = { x: 32 };
+<test1 {...obj2}/>;
+// Error, x is missing
+var obj3 = { y: 32 };
+<test1 {...obj3}/>;
+// OK
+var obj4 = { x: 32, y: 32 };
+<test1 {...obj4} x="ok"/>;
+// Error
+var obj5 = { x: 32, y: 32 };
+<test1 x="ok" {...obj5}/>;
+// OK
+var obj6 = { x: 'ok', y: 32, extra: 100 };
+<test1 {...obj6}/>;
+// Error
+var obj7 = { x: 'foo' };
+<test1 x={32} {...obj7}/>;
diff --git a/tests/baselines/reference/tsxAttributeResolution4.errors.txt b/tests/baselines/reference/tsxAttributeResolution4.errors.txt
new file mode 100644
index 00000000000..211a349b304
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution4.errors.txt
@@ -0,0 +1,22 @@
+tests/cases/conformance/jsx/tsxAttributeResolution4.tsx(15,26): error TS2339: Property 'len' does not exist on type 'string'.
+
+
+==== tests/cases/conformance/jsx/tsxAttributeResolution4.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		test1: Attribs1;
+    	}
+    }
+    interface Attribs1 {
+    	x(n: string): void;
+    }
+    
+    // OK
+    <test1 {... {x: (n) => 0} } />;
+    
+    // Error, no member 'len' on 'string'
+    <test1 {... {x: (n) => n.len} } />;
+                             ~~~
+!!! error TS2339: Property 'len' does not exist on type 'string'.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeResolution4.js b/tests/baselines/reference/tsxAttributeResolution4.js
new file mode 100644
index 00000000000..d56cb4cc2e8
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution4.js
@@ -0,0 +1,23 @@
+//// [tsxAttributeResolution4.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		test1: Attribs1;
+	}
+}
+interface Attribs1 {
+	x(n: string): void;
+}
+
+// OK
+<test1 {... {x: (n) => 0} } />;
+
+// Error, no member 'len' on 'string'
+<test1 {... {x: (n) => n.len} } />;
+
+
+//// [tsxAttributeResolution4.jsx]
+// OK
+<test1 {...{ x: function (n) { return 0; } }}/>;
+// Error, no member 'len' on 'string'
+<test1 {...{ x: function (n) { return n.len; } }}/>;
diff --git a/tests/baselines/reference/tsxAttributeResolution5.errors.txt b/tests/baselines/reference/tsxAttributeResolution5.errors.txt
new file mode 100644
index 00000000000..1b42dd01465
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution5.errors.txt
@@ -0,0 +1,45 @@
+tests/cases/conformance/jsx/tsxAttributeResolution5.tsx(21,16): error TS2606: Property 'x' of JSX spread attribute is not assignable to target property.
+  Type 'number' is not assignable to type 'string'.
+tests/cases/conformance/jsx/tsxAttributeResolution5.tsx(25,9): error TS2324: Property 'x' is missing in type 'Attribs1'.
+tests/cases/conformance/jsx/tsxAttributeResolution5.tsx(29,1): error TS2324: Property 'x' is missing in type 'Attribs1'.
+
+
+==== tests/cases/conformance/jsx/tsxAttributeResolution5.tsx (3 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		test1: Attribs1;
+    		test2: Attribs2;
+    	}
+    }
+    interface Attribs1 {
+    	x: string;
+    }
+    
+    interface Attribs2 {
+    	toString(): string;
+    }
+    
+    function make1<T extends {x: string}> (obj: T) {
+    	return <test1 {...obj} />; // OK
+    }
+    
+    function make2<T extends {x: number}> (obj: T) {
+    	return <test1 {...obj} />; // Error (x is number, not string)
+    	              ~~~~~~~~
+!!! error TS2606: Property 'x' of JSX spread attribute is not assignable to target property.
+!!! error TS2606:   Type 'number' is not assignable to type 'string'.
+    }
+    
+    function make3<T extends {y: string}> (obj: T) {
+    	return <test1 {...obj} />; // Error, missing x
+    	       ~~~~~~~~~~~~~~~~~~
+!!! error TS2324: Property 'x' is missing in type 'Attribs1'.
+    }
+    
+    
+    <test1 {...{}} />; // Error, missing x
+    ~~~~~~~~~~~~~~~~~
+!!! error TS2324: Property 'x' is missing in type 'Attribs1'.
+    <test2 {...{}} />; // OK
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeResolution5.js b/tests/baselines/reference/tsxAttributeResolution5.js
new file mode 100644
index 00000000000..34fe9a3bfb6
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution5.js
@@ -0,0 +1,45 @@
+//// [tsxAttributeResolution5.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		test1: Attribs1;
+		test2: Attribs2;
+	}
+}
+interface Attribs1 {
+	x: string;
+}
+
+interface Attribs2 {
+	toString(): string;
+}
+
+function make1<T extends {x: string}> (obj: T) {
+	return <test1 {...obj} />; // OK
+}
+
+function make2<T extends {x: number}> (obj: T) {
+	return <test1 {...obj} />; // Error (x is number, not string)
+}
+
+function make3<T extends {y: string}> (obj: T) {
+	return <test1 {...obj} />; // Error, missing x
+}
+
+
+<test1 {...{}} />; // Error, missing x
+<test2 {...{}} />; // OK
+
+
+//// [tsxAttributeResolution5.jsx]
+function make1(obj) {
+    return <test1 {...obj}/>; // OK
+}
+function make2(obj) {
+    return <test1 {...obj}/>; // Error (x is number, not string)
+}
+function make3(obj) {
+    return <test1 {...obj}/>; // Error, missing x
+}
+<test1 {...{}}/>; // Error, missing x
+<test2 {...{}}/>; // OK
diff --git a/tests/baselines/reference/tsxAttributeResolution6.errors.txt b/tests/baselines/reference/tsxAttributeResolution6.errors.txt
new file mode 100644
index 00000000000..4f1960358a5
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution6.errors.txt
@@ -0,0 +1,30 @@
+tests/cases/conformance/jsx/tsxAttributeResolution6.tsx(10,8): error TS2322: Type 'boolean' is not assignable to type 'string'.
+tests/cases/conformance/jsx/tsxAttributeResolution6.tsx(11,8): error TS2322: Type 'string' is not assignable to type 'boolean'.
+tests/cases/conformance/jsx/tsxAttributeResolution6.tsx(12,1): error TS2324: Property 'n' is missing in type '{ n: boolean; }'.
+
+
+==== tests/cases/conformance/jsx/tsxAttributeResolution6.tsx (3 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		test1: { n?: boolean; s?: string};
+    		test2: { n: boolean; };
+    	}
+    }
+    
+    // Error
+    <test1 s />;
+           ~
+!!! error TS2322: Type 'boolean' is not assignable to type 'string'.
+    <test1 n='true' />;
+           ~~~~~~~~
+!!! error TS2322: Type 'string' is not assignable to type 'boolean'.
+    <test2 />;
+    ~~~~~~~~~
+!!! error TS2324: Property 'n' is missing in type '{ n: boolean; }'.
+    
+    // OK
+    <test1 n />;
+    <test1 n={false} />;
+    <test2 n />;
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeResolution6.js b/tests/baselines/reference/tsxAttributeResolution6.js
new file mode 100644
index 00000000000..f4af0ba875a
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution6.js
@@ -0,0 +1,29 @@
+//// [tsxAttributeResolution6.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		test1: { n?: boolean; s?: string};
+		test2: { n: boolean; };
+	}
+}
+
+// Error
+<test1 s />;
+<test1 n='true' />;
+<test2 />;
+
+// OK
+<test1 n />;
+<test1 n={false} />;
+<test2 n />;
+
+
+//// [tsxAttributeResolution6.jsx]
+// Error
+<test1 s=/>;
+<test1 n='true'/>;
+<test2 />;
+// OK
+<test1 n=/>;
+<test1 n={false}/>;
+<test2 n=/>;
diff --git a/tests/baselines/reference/tsxAttributeResolution7.errors.txt b/tests/baselines/reference/tsxAttributeResolution7.errors.txt
new file mode 100644
index 00000000000..4d05254ace8
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution7.errors.txt
@@ -0,0 +1,21 @@
+tests/cases/conformance/jsx/tsxAttributeResolution7.tsx(9,8): error TS2322: Type 'number' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/jsx/tsxAttributeResolution7.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		test1: { "data-foo"?: string };
+    	}
+    }
+    
+    // Error
+    <test1 data-foo={32} />;
+           ~~~~~~~~~~~~~
+!!! error TS2322: Type 'number' is not assignable to type 'string'.
+    
+    // OK
+    <test1 data-foo={'32'} />;
+    <test1 data-bar={'32'} />;
+    <test1 data-bar={32} />;
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxAttributeResolution7.js b/tests/baselines/reference/tsxAttributeResolution7.js
new file mode 100644
index 00000000000..7ebd2e8f4db
--- /dev/null
+++ b/tests/baselines/reference/tsxAttributeResolution7.js
@@ -0,0 +1,24 @@
+//// [tsxAttributeResolution7.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		test1: { "data-foo"?: string };
+	}
+}
+
+// Error
+<test1 data-foo={32} />;
+
+// OK
+<test1 data-foo={'32'} />;
+<test1 data-bar={'32'} />;
+<test1 data-bar={32} />;
+
+
+//// [tsxAttributeResolution7.jsx]
+// Error
+<test1 data-foo={32}/>;
+// OK
+<test1 data-foo={'32'}/>;
+<test1 data-bar={'32'}/>;
+<test1 data-bar={32}/>;
diff --git a/tests/baselines/reference/tsxElementResolution.errors.txt b/tests/baselines/reference/tsxElementResolution.errors.txt
new file mode 100644
index 00000000000..4e5cb93b007
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution.errors.txt
@@ -0,0 +1,40 @@
+tests/cases/conformance/jsx/tsxElementResolution.tsx(18,9): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/tsxElementResolution.tsx(19,9): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/tsxElementResolution.tsx(23,9): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/tsxElementResolution.tsx(24,9): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution.tsx (4 errors) ====
+    
+    declare namespace JSX {
+    	interface IntrinsicElements {
+    		foundFirst: { x: string };
+    		'string_named';
+    		'var';
+    	}
+    }
+    
+    class foundFirst { }
+    class Other {}
+    
+    module Dotted {
+    	export class Name { }
+    }
+    
+    // Should find the intrinsic element, not the class element
+    var a = <foundFirst  x="hello" />;
+            ~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    var b = <string_named />;
+            ~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    // TODO: This should not be a parse error (should
+    //        parse a property name here, not identifier)
+    // var c = <var />;
+    var d = <Other />;
+            ~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    var e = <Dotted.Name />;
+            ~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution.js b/tests/baselines/reference/tsxElementResolution.js
new file mode 100644
index 00000000000..e7a4ae95e94
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution.js
@@ -0,0 +1,55 @@
+//// [tsxElementResolution.tsx]
+
+declare namespace JSX {
+	interface IntrinsicElements {
+		foundFirst: { x: string };
+		'string_named';
+		'var';
+	}
+}
+
+class foundFirst { }
+class Other {}
+
+module Dotted {
+	export class Name { }
+}
+
+// Should find the intrinsic element, not the class element
+var a = <foundFirst  x="hello" />;
+var b = <string_named />;
+// TODO: This should not be a parse error (should
+//        parse a property name here, not identifier)
+// var c = <var />;
+var d = <Other />;
+var e = <Dotted.Name />;
+
+
+//// [tsxElementResolution.jsx]
+var foundFirst = (function () {
+    function foundFirst() {
+    }
+    return foundFirst;
+})();
+var Other = (function () {
+    function Other() {
+    }
+    return Other;
+})();
+var Dotted;
+(function (Dotted) {
+    var Name = (function () {
+        function Name() {
+        }
+        return Name;
+    })();
+    Dotted.Name = Name;
+})(Dotted || (Dotted = {}));
+// Should find the intrinsic element, not the class element
+var a = <foundFirst x="hello"/>;
+var b = <string_named />;
+// TODO: This should not be a parse error (should
+//        parse a property name here, not identifier)
+// var c = <var />;
+var d = <Other />;
+var e = <Dotted.Name />;
diff --git a/tests/baselines/reference/tsxElementResolution1.errors.txt b/tests/baselines/reference/tsxElementResolution1.errors.txt
new file mode 100644
index 00000000000..b54430bd106
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution1.errors.txt
@@ -0,0 +1,18 @@
+tests/cases/conformance/jsx/tsxElementResolution1.tsx(12,1): error TS2339: Property 'span' does not exist on type 'JSX.IntrinsicElements'.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution1.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		div: any
+    	}
+    }
+    
+    // OK
+    <div />;
+    
+    // Fail
+    <span />;
+    ~~~~~~~~
+!!! error TS2339: Property 'span' does not exist on type 'JSX.IntrinsicElements'.
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution1.js b/tests/baselines/reference/tsxElementResolution1.js
new file mode 100644
index 00000000000..c7e0536bde2
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution1.js
@@ -0,0 +1,19 @@
+//// [tsxElementResolution1.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		div: any
+	}
+}
+
+// OK
+<div />;
+
+// Fail
+<span />;
+
+//// [tsxElementResolution1.jsx]
+// OK
+<div />;
+// Fail
+<span />;
diff --git a/tests/baselines/reference/tsxElementResolution10.errors.txt b/tests/baselines/reference/tsxElementResolution10.errors.txt
new file mode 100644
index 00000000000..987851191c5
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution10.errors.txt
@@ -0,0 +1,28 @@
+tests/cases/conformance/jsx/tsxElementResolution10.tsx(13,1): error TS2605: JSX element '{ x: number; }' is not a constructor function for JSX elements.
+  Property 'render' is missing in type '{ x: number; }'.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution10.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface ElementClass {
+    		render: any;
+    	}
+    	interface IntrinsicElements { }
+    }
+    
+    interface Obj1type {
+    	new(n: string): { x: number };
+    }
+    var Obj1: Obj1type;
+    <Obj1 x={10} />; // Error, no render member
+    ~~~~~~~~~~~~~~~
+!!! error TS2605: JSX element '{ x: number; }' is not a constructor function for JSX elements.
+!!! error TS2605:   Property 'render' is missing in type '{ x: number; }'.
+    
+    interface Obj2type {
+    	(n: string): { x: number; render: any; };
+    }
+    var Obj2: Obj2type;
+    <Obj2 x={32} render={100} />; // OK
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution10.js b/tests/baselines/reference/tsxElementResolution10.js
new file mode 100644
index 00000000000..84c8619ab96
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution10.js
@@ -0,0 +1,27 @@
+//// [tsxElementResolution10.tsx]
+declare module JSX {
+	interface Element { }
+	interface ElementClass {
+		render: any;
+	}
+	interface IntrinsicElements { }
+}
+
+interface Obj1type {
+	new(n: string): { x: number };
+}
+var Obj1: Obj1type;
+<Obj1 x={10} />; // Error, no render member
+
+interface Obj2type {
+	(n: string): { x: number; render: any; };
+}
+var Obj2: Obj2type;
+<Obj2 x={32} render={100} />; // OK
+
+
+//// [tsxElementResolution10.jsx]
+var Obj1;
+<Obj1 x={10}/>; // Error, no render member
+var Obj2;
+<Obj2 x={32} render={100}/>; // OK
diff --git a/tests/baselines/reference/tsxElementResolution11.errors.txt b/tests/baselines/reference/tsxElementResolution11.errors.txt
new file mode 100644
index 00000000000..4f3ee00d82f
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution11.errors.txt
@@ -0,0 +1,30 @@
+tests/cases/conformance/jsx/tsxElementResolution11.tsx(17,7): error TS2339: Property 'x' does not exist on type '{ q?: number; }'.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution11.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface ElementAttributesProperty { }
+    	interface IntrinsicElements { }
+    }
+    
+    interface Obj1type {
+    	new(n: string): any;
+    }
+    var Obj1: Obj1type;
+    <Obj1 x={10} />; // OK
+    
+    interface Obj2type {
+    	new(n: string): { q?: number };
+    }
+    var Obj2: Obj2type;
+    <Obj2 x={10} />; // Error
+          ~
+!!! error TS2339: Property 'x' does not exist on type '{ q?: number; }'.
+    
+    interface Obj3type {
+    	new(n: string): { x: number; };
+    }
+    var Obj3: Obj3type;
+    <Obj3 x={10} />; // OK
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution11.js b/tests/baselines/reference/tsxElementResolution11.js
new file mode 100644
index 00000000000..fb8572116b1
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution11.js
@@ -0,0 +1,33 @@
+//// [tsxElementResolution11.tsx]
+declare module JSX {
+	interface Element { }
+	interface ElementAttributesProperty { }
+	interface IntrinsicElements { }
+}
+
+interface Obj1type {
+	new(n: string): any;
+}
+var Obj1: Obj1type;
+<Obj1 x={10} />; // OK
+
+interface Obj2type {
+	new(n: string): { q?: number };
+}
+var Obj2: Obj2type;
+<Obj2 x={10} />; // Error
+
+interface Obj3type {
+	new(n: string): { x: number; };
+}
+var Obj3: Obj3type;
+<Obj3 x={10} />; // OK
+
+
+//// [tsxElementResolution11.jsx]
+var Obj1;
+<Obj1 x={10}/>; // OK
+var Obj2;
+<Obj2 x={10}/>; // Error
+var Obj3;
+<Obj3 x={10}/>; // OK
diff --git a/tests/baselines/reference/tsxElementResolution12.errors.txt b/tests/baselines/reference/tsxElementResolution12.errors.txt
new file mode 100644
index 00000000000..71a22b502aa
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution12.errors.txt
@@ -0,0 +1,43 @@
+tests/cases/conformance/jsx/tsxElementResolution12.tsx(17,2): error TS2304: Cannot find name 'Obj2'.
+tests/cases/conformance/jsx/tsxElementResolution12.tsx(23,1): error TS2607: JSX element class does not support attributes because it does not have a 'pr' property
+tests/cases/conformance/jsx/tsxElementResolution12.tsx(30,7): error TS2322: Type 'string' is not assignable to type 'number'.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution12.tsx (3 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface ElementAttributesProperty { pr: any; }
+    	interface IntrinsicElements { }
+    }
+    
+    interface Obj1type {
+    	new(n: string): any;
+    }
+    var Obj1: Obj1type;
+    <Obj1 x={10} />; // OK
+    
+    interface Obj2type {
+    	new(n: string): { q?: number; pr: any };
+    }
+    var obj2: Obj2type;
+    <Obj2 x={10} />; // OK
+     ~~~~
+!!! error TS2304: Cannot find name 'Obj2'.
+    
+    interface Obj3type {
+    	new(n: string): { x: number; };
+    }
+    var Obj3: Obj3type;
+    <Obj3 x={10} />; // Error
+    ~~~~~~~~~~~~~~~
+!!! error TS2607: JSX element class does not support attributes because it does not have a 'pr' property
+    
+    interface Obj4type {
+    	new(n: string): { x: number; pr: { x: number; } };
+    }
+    var Obj4: Obj4type;
+    <Obj4 x={10} />; // OK
+    <Obj4 x={'10'} />; // Error
+          ~~~~~~~~
+!!! error TS2322: Type 'string' is not assignable to type 'number'.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution12.js b/tests/baselines/reference/tsxElementResolution12.js
new file mode 100644
index 00000000000..12973efdda7
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution12.js
@@ -0,0 +1,43 @@
+//// [tsxElementResolution12.tsx]
+declare module JSX {
+	interface Element { }
+	interface ElementAttributesProperty { pr: any; }
+	interface IntrinsicElements { }
+}
+
+interface Obj1type {
+	new(n: string): any;
+}
+var Obj1: Obj1type;
+<Obj1 x={10} />; // OK
+
+interface Obj2type {
+	new(n: string): { q?: number; pr: any };
+}
+var obj2: Obj2type;
+<Obj2 x={10} />; // OK
+
+interface Obj3type {
+	new(n: string): { x: number; };
+}
+var Obj3: Obj3type;
+<Obj3 x={10} />; // Error
+
+interface Obj4type {
+	new(n: string): { x: number; pr: { x: number; } };
+}
+var Obj4: Obj4type;
+<Obj4 x={10} />; // OK
+<Obj4 x={'10'} />; // Error
+
+
+//// [tsxElementResolution12.jsx]
+var Obj1;
+<Obj1 x={10}/>; // OK
+var obj2;
+<Obj2 x={10}/>; // OK
+var Obj3;
+<Obj3 x={10}/>; // Error
+var Obj4;
+<Obj4 x={10}/>; // OK
+<Obj4 x={'10'}/>; // Error
diff --git a/tests/baselines/reference/tsxElementResolution13.js b/tests/baselines/reference/tsxElementResolution13.js
new file mode 100644
index 00000000000..f8631bdec0c
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution13.js
@@ -0,0 +1,16 @@
+//// [tsxElementResolution13.tsx]
+declare module JSX {
+	interface Element { }
+	interface ElementAttributesProperty { pr1: any; pr2: any; }
+}
+
+interface Obj1 {
+	new(n: string): any;
+}
+var obj1: Obj1;
+<obj1 x={10} />; // Error
+
+
+//// [tsxElementResolution13.jsx]
+var obj1;
+<obj1 x={10}/>; // Error
diff --git a/tests/baselines/reference/tsxElementResolution13.symbols b/tests/baselines/reference/tsxElementResolution13.symbols
new file mode 100644
index 00000000000..4022602e53a
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution13.symbols
@@ -0,0 +1,26 @@
+=== tests/cases/conformance/jsx/tsxElementResolution13.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxElementResolution13.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxElementResolution13.tsx, 0, 20))
+
+	interface ElementAttributesProperty { pr1: any; pr2: any; }
+>ElementAttributesProperty : Symbol(ElementAttributesProperty, Decl(tsxElementResolution13.tsx, 1, 22))
+>pr1 : Symbol(pr1, Decl(tsxElementResolution13.tsx, 2, 38))
+>pr2 : Symbol(pr2, Decl(tsxElementResolution13.tsx, 2, 48))
+}
+
+interface Obj1 {
+>Obj1 : Symbol(Obj1, Decl(tsxElementResolution13.tsx, 3, 1))
+
+	new(n: string): any;
+>n : Symbol(n, Decl(tsxElementResolution13.tsx, 6, 5))
+}
+var obj1: Obj1;
+>obj1 : Symbol(obj1, Decl(tsxElementResolution13.tsx, 8, 3))
+>Obj1 : Symbol(Obj1, Decl(tsxElementResolution13.tsx, 3, 1))
+
+<obj1 x={10} />; // Error
+>x : Symbol(unknown)
+
diff --git a/tests/baselines/reference/tsxElementResolution13.types b/tests/baselines/reference/tsxElementResolution13.types
new file mode 100644
index 00000000000..cd6265de091
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution13.types
@@ -0,0 +1,28 @@
+=== tests/cases/conformance/jsx/tsxElementResolution13.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface ElementAttributesProperty { pr1: any; pr2: any; }
+>ElementAttributesProperty : ElementAttributesProperty
+>pr1 : any
+>pr2 : any
+}
+
+interface Obj1 {
+>Obj1 : Obj1
+
+	new(n: string): any;
+>n : string
+}
+var obj1: Obj1;
+>obj1 : Obj1
+>Obj1 : Obj1
+
+<obj1 x={10} />; // Error
+><obj1 x={10} /> : JSX.Element
+>obj1 : Obj1
+>x : any
+
diff --git a/tests/baselines/reference/tsxElementResolution14.js b/tests/baselines/reference/tsxElementResolution14.js
new file mode 100644
index 00000000000..e1e440db5f3
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution14.js
@@ -0,0 +1,15 @@
+//// [tsxElementResolution14.tsx]
+declare module JSX {
+	interface Element { }
+}
+
+interface Obj1 {
+	new(n: string): {};
+}
+var obj1: Obj1;
+<obj1 x={10} />; // OK
+
+
+//// [tsxElementResolution14.jsx]
+var obj1;
+<obj1 x={10}/>; // OK
diff --git a/tests/baselines/reference/tsxElementResolution14.symbols b/tests/baselines/reference/tsxElementResolution14.symbols
new file mode 100644
index 00000000000..58236a4e462
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution14.symbols
@@ -0,0 +1,21 @@
+=== tests/cases/conformance/jsx/tsxElementResolution14.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxElementResolution14.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxElementResolution14.tsx, 0, 20))
+}
+
+interface Obj1 {
+>Obj1 : Symbol(Obj1, Decl(tsxElementResolution14.tsx, 2, 1))
+
+	new(n: string): {};
+>n : Symbol(n, Decl(tsxElementResolution14.tsx, 5, 5))
+}
+var obj1: Obj1;
+>obj1 : Symbol(obj1, Decl(tsxElementResolution14.tsx, 7, 3))
+>Obj1 : Symbol(Obj1, Decl(tsxElementResolution14.tsx, 2, 1))
+
+<obj1 x={10} />; // OK
+>x : Symbol(unknown)
+
diff --git a/tests/baselines/reference/tsxElementResolution14.types b/tests/baselines/reference/tsxElementResolution14.types
new file mode 100644
index 00000000000..ef03187d28e
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution14.types
@@ -0,0 +1,23 @@
+=== tests/cases/conformance/jsx/tsxElementResolution14.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+}
+
+interface Obj1 {
+>Obj1 : Obj1
+
+	new(n: string): {};
+>n : string
+}
+var obj1: Obj1;
+>obj1 : Obj1
+>Obj1 : Obj1
+
+<obj1 x={10} />; // OK
+><obj1 x={10} /> : JSX.Element
+>obj1 : Obj1
+>x : any
+
diff --git a/tests/baselines/reference/tsxElementResolution15.errors.txt b/tests/baselines/reference/tsxElementResolution15.errors.txt
new file mode 100644
index 00000000000..24480ab7f2b
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution15.errors.txt
@@ -0,0 +1,18 @@
+tests/cases/conformance/jsx/tsxElementResolution15.tsx(3,12): error TS2608: The global type 'JSX.ElementAttributesProperty' may not have more than one property
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution15.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface ElementAttributesProperty { pr1: any; pr2: any; }
+    	          ~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2608: The global type 'JSX.ElementAttributesProperty' may not have more than one property
+    	interface IntrinsicElements { }
+    }
+    
+    interface Obj1type {
+    	new(n: string): {};
+    }
+    var Obj1: Obj1type;
+    <Obj1 x={10} />; // Error
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution15.js b/tests/baselines/reference/tsxElementResolution15.js
new file mode 100644
index 00000000000..831b3a54b41
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution15.js
@@ -0,0 +1,17 @@
+//// [tsxElementResolution15.tsx]
+declare module JSX {
+	interface Element { }
+	interface ElementAttributesProperty { pr1: any; pr2: any; }
+	interface IntrinsicElements { }
+}
+
+interface Obj1type {
+	new(n: string): {};
+}
+var Obj1: Obj1type;
+<Obj1 x={10} />; // Error
+
+
+//// [tsxElementResolution15.jsx]
+var Obj1;
+<Obj1 x={10}/>; // Error
diff --git a/tests/baselines/reference/tsxElementResolution16.errors.txt b/tests/baselines/reference/tsxElementResolution16.errors.txt
new file mode 100644
index 00000000000..3bdc9286c56
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution16.errors.txt
@@ -0,0 +1,15 @@
+tests/cases/conformance/jsx/tsxElementResolution16.tsx(8,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution16.tsx (1 errors) ====
+    declare module JSX {
+    }
+    
+    interface Obj1 {
+    	new(n: string): {};
+    }
+    var obj1: Obj1;
+    <obj1 x={10} />; // Error (JSX.Element is missing)
+    ~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution16.js b/tests/baselines/reference/tsxElementResolution16.js
new file mode 100644
index 00000000000..c63c3b7f83a
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution16.js
@@ -0,0 +1,14 @@
+//// [tsxElementResolution16.tsx]
+declare module JSX {
+}
+
+interface Obj1 {
+	new(n: string): {};
+}
+var obj1: Obj1;
+<obj1 x={10} />; // Error (JSX.Element is missing)
+
+
+//// [tsxElementResolution16.jsx]
+var obj1;
+<obj1 x={10}/>; // Error (JSX.Element is missing)
diff --git a/tests/baselines/reference/tsxElementResolution17.js b/tests/baselines/reference/tsxElementResolution17.js
new file mode 100644
index 00000000000..cd8d7e13beb
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution17.js
@@ -0,0 +1,34 @@
+//// [tests/cases/conformance/jsx/tsxElementResolution17.tsx] ////
+
+//// [file.tsx]
+
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements { }
+}
+
+declare module 'elements1' {
+	class MyElement {
+
+	}
+}
+
+declare module 'elements2' {
+	class MyElement {
+
+	}
+}
+
+//// [consumer.tsx]
+///<reference path="file.tsx" />
+// Should keep s1 and elide s2
+import s1 = require('elements1');
+import s2 = require('elements2');
+<s1.MyElement />;
+
+
+//// [file.jsx]
+//// [consumer.jsx]
+define(["require", "exports", 'elements1'], function (require, exports, s1) {
+    <s1.MyElement />;
+});
diff --git a/tests/baselines/reference/tsxElementResolution17.symbols b/tests/baselines/reference/tsxElementResolution17.symbols
new file mode 100644
index 00000000000..0b4459552de
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution17.symbols
@@ -0,0 +1,38 @@
+=== tests/cases/conformance/jsx/consumer.tsx ===
+///<reference path="file.tsx" />
+// Should keep s1 and elide s2
+import s1 = require('elements1');
+>s1 : Symbol(s1, Decl(consumer.tsx, 0, 0))
+
+import s2 = require('elements2');
+>s2 : Symbol(s2, Decl(consumer.tsx, 2, 33))
+
+<s1.MyElement />;
+>MyElement : Symbol(s1.MyElement, Decl(file.tsx, 6, 28))
+
+=== tests/cases/conformance/jsx/file.tsx ===
+
+declare module JSX {
+>JSX : Symbol(JSX, Decl(file.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(file.tsx, 1, 20))
+
+	interface IntrinsicElements { }
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(file.tsx, 2, 22))
+}
+
+declare module 'elements1' {
+	class MyElement {
+>MyElement : Symbol(MyElement, Decl(file.tsx, 6, 28))
+
+	}
+}
+
+declare module 'elements2' {
+	class MyElement {
+>MyElement : Symbol(MyElement, Decl(file.tsx, 12, 28))
+
+	}
+}
+
diff --git a/tests/baselines/reference/tsxElementResolution17.types b/tests/baselines/reference/tsxElementResolution17.types
new file mode 100644
index 00000000000..e6396a9a60b
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution17.types
@@ -0,0 +1,40 @@
+=== tests/cases/conformance/jsx/consumer.tsx ===
+///<reference path="file.tsx" />
+// Should keep s1 and elide s2
+import s1 = require('elements1');
+>s1 : typeof s1
+
+import s2 = require('elements2');
+>s2 : typeof s2
+
+<s1.MyElement />;
+><s1.MyElement /> : JSX.Element
+>s1 : any
+>MyElement : any
+
+=== tests/cases/conformance/jsx/file.tsx ===
+
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface IntrinsicElements { }
+>IntrinsicElements : IntrinsicElements
+}
+
+declare module 'elements1' {
+	class MyElement {
+>MyElement : MyElement
+
+	}
+}
+
+declare module 'elements2' {
+	class MyElement {
+>MyElement : MyElement
+
+	}
+}
+
diff --git a/tests/baselines/reference/tsxElementResolution18.errors.txt b/tests/baselines/reference/tsxElementResolution18.errors.txt
new file mode 100644
index 00000000000..75d28616bf0
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution18.errors.txt
@@ -0,0 +1,13 @@
+tests/cases/conformance/jsx/tsxElementResolution18.tsx(6,1): error TS2609: JSX element implicitly has type 'any' because no interface JSX.IntrinsicElements exists
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution18.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    }
+    
+    // Error under implicit any
+    <div n='x' />;
+    ~~~~~~~~~~~~~
+!!! error TS2609: JSX element implicitly has type 'any' because no interface JSX.IntrinsicElements exists
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution18.js b/tests/baselines/reference/tsxElementResolution18.js
new file mode 100644
index 00000000000..0b5138b7b49
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution18.js
@@ -0,0 +1,12 @@
+//// [tsxElementResolution18.tsx]
+declare module JSX {
+	interface Element { }
+}
+
+// Error under implicit any
+<div n='x' />;
+
+
+//// [tsxElementResolution18.jsx]
+// Error under implicit any
+<div n='x'/>;
diff --git a/tests/baselines/reference/tsxElementResolution2.js b/tests/baselines/reference/tsxElementResolution2.js
new file mode 100644
index 00000000000..1d06656d529
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution2.js
@@ -0,0 +1,19 @@
+//// [tsxElementResolution2.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+	    [x: string]: any;
+	}
+}
+
+// OK
+<div />;
+
+// OK
+<span />;
+
+//// [tsxElementResolution2.jsx]
+// OK
+<div />;
+// OK
+<span />;
diff --git a/tests/baselines/reference/tsxElementResolution2.symbols b/tests/baselines/reference/tsxElementResolution2.symbols
new file mode 100644
index 00000000000..2935bcd4f63
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution2.symbols
@@ -0,0 +1,23 @@
+=== tests/cases/conformance/jsx/tsxElementResolution2.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxElementResolution2.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxElementResolution2.tsx, 0, 20))
+
+	interface IntrinsicElements {
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(tsxElementResolution2.tsx, 1, 22))
+
+	    [x: string]: any;
+>x : Symbol(x, Decl(tsxElementResolution2.tsx, 3, 6))
+	}
+}
+
+// OK
+<div />;
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxElementResolution2.tsx, 1, 22))
+
+// OK
+<span />;
+>span : Symbol(JSX.IntrinsicElements, Decl(tsxElementResolution2.tsx, 1, 22))
+
diff --git a/tests/baselines/reference/tsxElementResolution2.types b/tests/baselines/reference/tsxElementResolution2.types
new file mode 100644
index 00000000000..56ea5158253
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution2.types
@@ -0,0 +1,25 @@
+=== tests/cases/conformance/jsx/tsxElementResolution2.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface IntrinsicElements {
+>IntrinsicElements : IntrinsicElements
+
+	    [x: string]: any;
+>x : string
+	}
+}
+
+// OK
+<div />;
+><div /> : JSX.Element
+>div : any
+
+// OK
+<span />;
+><span /> : JSX.Element
+>span : any
+
diff --git a/tests/baselines/reference/tsxElementResolution3.errors.txt b/tests/baselines/reference/tsxElementResolution3.errors.txt
new file mode 100644
index 00000000000..bc3c7c5ebfc
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution3.errors.txt
@@ -0,0 +1,21 @@
+tests/cases/conformance/jsx/tsxElementResolution3.tsx(12,1): error TS2324: Property 'n' is missing in type '{ n: string; }'.
+tests/cases/conformance/jsx/tsxElementResolution3.tsx(12,7): error TS2339: Property 'w' does not exist on type '{ n: string; }'.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution3.tsx (2 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    	    [x: string]: { n: string; };
+    	}
+    }
+    
+    // OK
+    <div n='x' />;
+    
+    // Error
+    <span w='err' />;
+    ~~~~~~~~~~~~~~~~
+!!! error TS2324: Property 'n' is missing in type '{ n: string; }'.
+          ~
+!!! error TS2339: Property 'w' does not exist on type '{ n: string; }'.
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution3.js b/tests/baselines/reference/tsxElementResolution3.js
new file mode 100644
index 00000000000..607d1c5ec66
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution3.js
@@ -0,0 +1,19 @@
+//// [tsxElementResolution3.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+	    [x: string]: { n: string; };
+	}
+}
+
+// OK
+<div n='x' />;
+
+// Error
+<span w='err' />;
+
+//// [tsxElementResolution3.jsx]
+// OK
+<div n='x'/>;
+// Error
+<span w='err'/>;
diff --git a/tests/baselines/reference/tsxElementResolution4.errors.txt b/tests/baselines/reference/tsxElementResolution4.errors.txt
new file mode 100644
index 00000000000..0e383af5e7b
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution4.errors.txt
@@ -0,0 +1,26 @@
+tests/cases/conformance/jsx/tsxElementResolution4.tsx(16,1): error TS2324: Property 'm' is missing in type '{ m: string; }'.
+tests/cases/conformance/jsx/tsxElementResolution4.tsx(16,7): error TS2339: Property 'q' does not exist on type '{ m: string; }'.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution4.tsx (2 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    	    div: { n: string; };
+    	    span: { m: string; };
+    	}
+    }
+    
+    // OK
+    <div n='x' />;
+    
+    // OK
+    <span m='ok' />;
+    
+    // Error
+    <span q='' />;
+    ~~~~~~~~~~~~~
+!!! error TS2324: Property 'm' is missing in type '{ m: string; }'.
+          ~
+!!! error TS2339: Property 'q' does not exist on type '{ m: string; }'.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution4.js b/tests/baselines/reference/tsxElementResolution4.js
new file mode 100644
index 00000000000..ea395cb5077
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution4.js
@@ -0,0 +1,26 @@
+//// [tsxElementResolution4.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+	    div: { n: string; };
+	    span: { m: string; };
+	}
+}
+
+// OK
+<div n='x' />;
+
+// OK
+<span m='ok' />;
+
+// Error
+<span q='' />;
+
+
+//// [tsxElementResolution4.jsx]
+// OK
+<div n='x'/>;
+// OK
+<span m='ok'/>;
+// Error
+<span q=''/>;
diff --git a/tests/baselines/reference/tsxElementResolution5.js b/tests/baselines/reference/tsxElementResolution5.js
new file mode 100644
index 00000000000..8aadfec0f78
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution5.js
@@ -0,0 +1,12 @@
+//// [tsxElementResolution5.tsx]
+declare module JSX {
+	interface Element { }
+}
+
+// OK, but implicit any
+<div n='x' />;
+
+
+//// [tsxElementResolution5.jsx]
+// OK, but implicit any
+<div n='x'/>;
diff --git a/tests/baselines/reference/tsxElementResolution5.symbols b/tests/baselines/reference/tsxElementResolution5.symbols
new file mode 100644
index 00000000000..8bbbfaaeb68
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution5.symbols
@@ -0,0 +1,12 @@
+=== tests/cases/conformance/jsx/tsxElementResolution5.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxElementResolution5.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxElementResolution5.tsx, 0, 20))
+}
+
+// OK, but implicit any
+<div n='x' />;
+>n : Symbol(unknown)
+
diff --git a/tests/baselines/reference/tsxElementResolution5.types b/tests/baselines/reference/tsxElementResolution5.types
new file mode 100644
index 00000000000..ba3509f4fa1
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution5.types
@@ -0,0 +1,14 @@
+=== tests/cases/conformance/jsx/tsxElementResolution5.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+}
+
+// OK, but implicit any
+<div n='x' />;
+><div n='x' /> : JSX.Element
+>div : any
+>n : any
+
diff --git a/tests/baselines/reference/tsxElementResolution6.errors.txt b/tests/baselines/reference/tsxElementResolution6.errors.txt
new file mode 100644
index 00000000000..1336cc6df0c
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution6.errors.txt
@@ -0,0 +1,15 @@
+tests/cases/conformance/jsx/tsxElementResolution6.tsx(8,1): error TS2339: Property 'div' does not exist on type 'JSX.IntrinsicElements'.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution6.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements { }
+    }
+    
+    var div: any;
+    // Still an error
+    <div n='x' />;
+    ~~~~~~~~~~~~~
+!!! error TS2339: Property 'div' does not exist on type 'JSX.IntrinsicElements'.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution6.js b/tests/baselines/reference/tsxElementResolution6.js
new file mode 100644
index 00000000000..1b6d174fea8
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution6.js
@@ -0,0 +1,15 @@
+//// [tsxElementResolution6.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements { }
+}
+
+var div: any;
+// Still an error
+<div n='x' />;
+
+
+//// [tsxElementResolution6.jsx]
+var div;
+// Still an error
+<div n='x'/>;
diff --git a/tests/baselines/reference/tsxElementResolution7.errors.txt b/tests/baselines/reference/tsxElementResolution7.errors.txt
new file mode 100644
index 00000000000..b8549e19535
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution7.errors.txt
@@ -0,0 +1,30 @@
+tests/cases/conformance/jsx/tsxElementResolution7.tsx(12,5): error TS2339: Property 'other' does not exist on type 'typeof my'.
+tests/cases/conformance/jsx/tsxElementResolution7.tsx(19,11): error TS2339: Property 'non' does not exist on type 'typeof my'.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution7.tsx (2 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements { }
+    }
+    
+    module my {
+        export var div: any;
+    }
+    // OK
+    <my.div n='x' />;
+    // Error
+    <my.other />;
+        ~~~~~
+!!! error TS2339: Property 'other' does not exist on type 'typeof my'.
+    
+    module q {
+        import mine = my;
+        // OK
+        <mine.div n='x' />;
+        // Error
+        <mine.non />;
+              ~~~
+!!! error TS2339: Property 'non' does not exist on type 'typeof my'.
+    }
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution7.js b/tests/baselines/reference/tsxElementResolution7.js
new file mode 100644
index 00000000000..7df44b052a2
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution7.js
@@ -0,0 +1,39 @@
+//// [tsxElementResolution7.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements { }
+}
+
+module my {
+    export var div: any;
+}
+// OK
+<my.div n='x' />;
+// Error
+<my.other />;
+
+module q {
+    import mine = my;
+    // OK
+    <mine.div n='x' />;
+    // Error
+    <mine.non />;
+}
+
+
+//// [tsxElementResolution7.jsx]
+var my;
+(function (my) {
+})(my || (my = {}));
+// OK
+<my.div n='x'/>;
+// Error
+<my.other />;
+var q;
+(function (q) {
+    var mine = my;
+    // OK
+    <mine.div n='x'/>;
+    // Error
+    <mine.non />;
+})(q || (q = {}));
diff --git a/tests/baselines/reference/tsxElementResolution8.errors.txt b/tests/baselines/reference/tsxElementResolution8.errors.txt
new file mode 100644
index 00000000000..644b43b471b
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution8.errors.txt
@@ -0,0 +1,50 @@
+tests/cases/conformance/jsx/tsxElementResolution8.tsx(8,2): error TS2604: JSX element 'Div' is not a constructor function.
+tests/cases/conformance/jsx/tsxElementResolution8.tsx(16,2): error TS2601: The return type of a JSX element constructor must return an object type.
+tests/cases/conformance/jsx/tsxElementResolution8.tsx(29,2): error TS2601: The return type of a JSX element constructor must return an object type.
+tests/cases/conformance/jsx/tsxElementResolution8.tsx(34,2): error TS2604: JSX element 'Obj3' is not a constructor function.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution8.tsx (4 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements { }
+    }
+    
+    // Error
+    var Div = 3;
+    <Div />;
+     ~~~
+!!! error TS2604: JSX element 'Div' is not a constructor function.
+    
+    // OK
+    function Fact(): any { return null; }
+    <Fact />
+    
+    // Error
+    function Fnum(): number{ return 42; }
+    <Fnum />
+     ~~~~
+!!! error TS2601: The return type of a JSX element constructor must return an object type.
+    
+    interface Obj1 {
+    	new(): {};
+    	(): number;
+    }
+    var Obj1: Obj1;
+    <Obj1 />; // OK, prefer construct signatures
+    
+    interface Obj2 {
+    	(): number;
+    }
+    var Obj2: Obj2;
+    <Obj2 />; // Error
+     ~~~~
+!!! error TS2601: The return type of a JSX element constructor must return an object type.
+    
+    interface Obj3 {
+    }
+    var Obj3: Obj3;
+    <Obj3 />; // Error
+     ~~~~
+!!! error TS2604: JSX element 'Obj3' is not a constructor function.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution8.js b/tests/baselines/reference/tsxElementResolution8.js
new file mode 100644
index 00000000000..4217761c402
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution8.js
@@ -0,0 +1,53 @@
+//// [tsxElementResolution8.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements { }
+}
+
+// Error
+var Div = 3;
+<Div />;
+
+// OK
+function Fact(): any { return null; }
+<Fact />
+
+// Error
+function Fnum(): number{ return 42; }
+<Fnum />
+
+interface Obj1 {
+	new(): {};
+	(): number;
+}
+var Obj1: Obj1;
+<Obj1 />; // OK, prefer construct signatures
+
+interface Obj2 {
+	(): number;
+}
+var Obj2: Obj2;
+<Obj2 />; // Error
+
+interface Obj3 {
+}
+var Obj3: Obj3;
+<Obj3 />; // Error
+
+
+//// [tsxElementResolution8.jsx]
+// Error
+var Div = 3;
+<Div />;
+// OK
+function Fact() { return null; }
+<Fact />;
+// Error
+function Fnum() { return 42; }
+<Fnum />;
+var Obj1;
+<Obj1 />; // OK, prefer construct signatures
+var Obj2;
+<Obj2 />; // Error
+var Obj3;
+<Obj3 />; // Error
diff --git a/tests/baselines/reference/tsxElementResolution9.errors.txt b/tests/baselines/reference/tsxElementResolution9.errors.txt
new file mode 100644
index 00000000000..f4412719b33
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution9.errors.txt
@@ -0,0 +1,35 @@
+tests/cases/conformance/jsx/tsxElementResolution9.tsx(11,2): error TS2601: The return type of a JSX element constructor must return an object type.
+tests/cases/conformance/jsx/tsxElementResolution9.tsx(18,2): error TS2601: The return type of a JSX element constructor must return an object type.
+
+
+==== tests/cases/conformance/jsx/tsxElementResolution9.tsx (2 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements { }
+    }
+    
+    interface Obj1 {
+    	new(n: string): { x: number };
+    	new(n: number): { y: string };
+    }
+    var Obj1: Obj1;
+    <Obj1 />; // Error, return type is not an object type
+     ~~~~
+!!! error TS2601: The return type of a JSX element constructor must return an object type.
+    
+    interface Obj2 {
+    	(n: string): { x: number };
+    	(n: number): { y: string };
+    }
+    var Obj2: Obj2;
+    <Obj2 />; // Error, return type is not an object type
+     ~~~~
+!!! error TS2601: The return type of a JSX element constructor must return an object type.
+    
+    interface Obj3 {
+    	(n: string): { x: number };
+    	(n: number): { x: number; y: string };
+    }
+    var Obj3: Obj3;
+    <Obj3 x={42} />; // OK
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxElementResolution9.js b/tests/baselines/reference/tsxElementResolution9.js
new file mode 100644
index 00000000000..c897a51eaeb
--- /dev/null
+++ b/tests/baselines/reference/tsxElementResolution9.js
@@ -0,0 +1,35 @@
+//// [tsxElementResolution9.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements { }
+}
+
+interface Obj1 {
+	new(n: string): { x: number };
+	new(n: number): { y: string };
+}
+var Obj1: Obj1;
+<Obj1 />; // Error, return type is not an object type
+
+interface Obj2 {
+	(n: string): { x: number };
+	(n: number): { y: string };
+}
+var Obj2: Obj2;
+<Obj2 />; // Error, return type is not an object type
+
+interface Obj3 {
+	(n: string): { x: number };
+	(n: number): { x: number; y: string };
+}
+var Obj3: Obj3;
+<Obj3 x={42} />; // OK
+
+
+//// [tsxElementResolution9.jsx]
+var Obj1;
+<Obj1 />; // Error, return type is not an object type
+var Obj2;
+<Obj2 />; // Error, return type is not an object type
+var Obj3;
+<Obj3 x={42}/>; // OK
diff --git a/tests/baselines/reference/tsxEmit1.js b/tests/baselines/reference/tsxEmit1.js
new file mode 100644
index 00000000000..baa75526dd7
--- /dev/null
+++ b/tests/baselines/reference/tsxEmit1.js
@@ -0,0 +1,75 @@
+//// [tsxEmit1.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		[s: string]: any;
+	}
+}
+
+var p;
+var selfClosed1 = <div />;
+var selfClosed2 = <div x="1" />;
+var selfClosed3 = <div x='1' />;
+var selfClosed4 = <div x="1" y='0' />;
+var selfClosed5 = <div x={0} y='0' />;
+var selfClosed6 = <div x={"1"} y='0' />;
+var selfClosed7 = <div x={p} y='p' />;
+
+var openClosed1 = <div></div>;
+var openClosed2 = <div n='m'>foo</div>;
+var openClosed3 = <div n='m'>{p}</div>;
+var openClosed4 = <div n='m'>{p < p}</div>;
+var openClosed5 = <div n='m'>{p > p}</div>;
+
+class SomeClass {
+	f() {
+		var rewrites1 = <div>{() => this}</div>;
+		var rewrites2 = <div>{[p, ...p, p]}</div>;
+		var rewrites3 = <div>{{p}}</div>;
+
+		var rewrites4 = <div a={() => this}></div>;
+		var rewrites5 = <div a={[p, ...p, p]}></div>;
+		var rewrites6 = <div a={{p}}></div>;
+	}
+}
+
+var whitespace1 = <div>      </div>;
+var whitespace2 = <div>  {p}    </div>;
+var whitespace3 = <div>  
+      {p}    
+      </div>;
+
+
+//// [tsxEmit1.jsx]
+var p;
+var selfClosed1 = <div />;
+var selfClosed2 = <div x="1"/>;
+var selfClosed3 = <div x='1'/>;
+var selfClosed4 = <div x="1" y='0'/>;
+var selfClosed5 = <div x={0} y='0'/>;
+var selfClosed6 = <div x={"1"} y='0'/>;
+var selfClosed7 = <div x={p} y='p'/>;
+var openClosed1 = <div></div>;
+var openClosed2 = <div n='m'>foo</div>;
+var openClosed3 = <div n='m'>{p}</div>;
+var openClosed4 = <div n='m'>{p < p}</div>;
+var openClosed5 = <div n='m'>{p > p}</div>;
+var SomeClass = (function () {
+    function SomeClass() {
+    }
+    SomeClass.prototype.f = function () {
+        var _this = this;
+        var rewrites1 = <div>{function () { return _this; }}</div>;
+        var rewrites2 = <div>{[p].concat(p, [p])}</div>;
+        var rewrites3 = <div>{{ p: p }}</div>;
+        var rewrites4 = <div a={function () { return _this; }}></div>;
+        var rewrites5 = <div a={[p].concat(p, [p])}></div>;
+        var rewrites6 = <div a={{ p: p }}></div>;
+    };
+    return SomeClass;
+})();
+var whitespace1 = <div>      </div>;
+var whitespace2 = <div>  {p}    </div>;
+var whitespace3 = <div>  
+      {p}    
+      </div>;
diff --git a/tests/baselines/reference/tsxEmit1.symbols b/tests/baselines/reference/tsxEmit1.symbols
new file mode 100644
index 00000000000..284f6cd9ce7
--- /dev/null
+++ b/tests/baselines/reference/tsxEmit1.symbols
@@ -0,0 +1,144 @@
+=== tests/cases/conformance/jsx/tsxEmit1.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxEmit1.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxEmit1.tsx, 0, 20))
+
+	interface IntrinsicElements {
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+
+		[s: string]: any;
+>s : Symbol(s, Decl(tsxEmit1.tsx, 3, 3))
+	}
+}
+
+var p;
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+
+var selfClosed1 = <div />;
+>selfClosed1 : Symbol(selfClosed1, Decl(tsxEmit1.tsx, 8, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+
+var selfClosed2 = <div x="1" />;
+>selfClosed2 : Symbol(selfClosed2, Decl(tsxEmit1.tsx, 9, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+
+var selfClosed3 = <div x='1' />;
+>selfClosed3 : Symbol(selfClosed3, Decl(tsxEmit1.tsx, 10, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+
+var selfClosed4 = <div x="1" y='0' />;
+>selfClosed4 : Symbol(selfClosed4, Decl(tsxEmit1.tsx, 11, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
+var selfClosed5 = <div x={0} y='0' />;
+>selfClosed5 : Symbol(selfClosed5, Decl(tsxEmit1.tsx, 12, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
+var selfClosed6 = <div x={"1"} y='0' />;
+>selfClosed6 : Symbol(selfClosed6, Decl(tsxEmit1.tsx, 13, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
+var selfClosed7 = <div x={p} y='p' />;
+>selfClosed7 : Symbol(selfClosed7, Decl(tsxEmit1.tsx, 14, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
+var openClosed1 = <div></div>;
+>openClosed1 : Symbol(openClosed1, Decl(tsxEmit1.tsx, 16, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+
+var openClosed2 = <div n='m'>foo</div>;
+>openClosed2 : Symbol(openClosed2, Decl(tsxEmit1.tsx, 17, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>n : Symbol(unknown)
+
+var openClosed3 = <div n='m'>{p}</div>;
+>openClosed3 : Symbol(openClosed3, Decl(tsxEmit1.tsx, 18, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>n : Symbol(unknown)
+
+var openClosed4 = <div n='m'>{p < p}</div>;
+>openClosed4 : Symbol(openClosed4, Decl(tsxEmit1.tsx, 19, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>n : Symbol(unknown)
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+
+var openClosed5 = <div n='m'>{p > p}</div>;
+>openClosed5 : Symbol(openClosed5, Decl(tsxEmit1.tsx, 20, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>n : Symbol(unknown)
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+
+class SomeClass {
+>SomeClass : Symbol(SomeClass, Decl(tsxEmit1.tsx, 20, 43))
+
+	f() {
+>f : Symbol(f, Decl(tsxEmit1.tsx, 22, 17))
+
+		var rewrites1 = <div>{() => this}</div>;
+>rewrites1 : Symbol(rewrites1, Decl(tsxEmit1.tsx, 24, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>this : Symbol(SomeClass, Decl(tsxEmit1.tsx, 20, 43))
+
+		var rewrites2 = <div>{[p, ...p, p]}</div>;
+>rewrites2 : Symbol(rewrites2, Decl(tsxEmit1.tsx, 25, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+
+		var rewrites3 = <div>{{p}}</div>;
+>rewrites3 : Symbol(rewrites3, Decl(tsxEmit1.tsx, 26, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>p : Symbol(p, Decl(tsxEmit1.tsx, 26, 25))
+
+		var rewrites4 = <div a={() => this}></div>;
+>rewrites4 : Symbol(rewrites4, Decl(tsxEmit1.tsx, 28, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>a : Symbol(unknown)
+>this : Symbol(SomeClass, Decl(tsxEmit1.tsx, 20, 43))
+
+		var rewrites5 = <div a={[p, ...p, p]}></div>;
+>rewrites5 : Symbol(rewrites5, Decl(tsxEmit1.tsx, 29, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>a : Symbol(unknown)
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxEmit1.tsx, 7, 3))
+
+		var rewrites6 = <div a={{p}}></div>;
+>rewrites6 : Symbol(rewrites6, Decl(tsxEmit1.tsx, 30, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+>a : Symbol(unknown)
+>p : Symbol(p, Decl(tsxEmit1.tsx, 30, 27))
+	}
+}
+
+var whitespace1 = <div>      </div>;
+>whitespace1 : Symbol(whitespace1, Decl(tsxEmit1.tsx, 34, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+
+var whitespace2 = <div>  {p}    </div>;
+>whitespace2 : Symbol(whitespace2, Decl(tsxEmit1.tsx, 35, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+
+var whitespace3 = <div>  
+>whitespace3 : Symbol(whitespace3, Decl(tsxEmit1.tsx, 36, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit1.tsx, 1, 22))
+
+      {p}    
+      </div>;
+
diff --git a/tests/baselines/reference/tsxEmit1.types b/tests/baselines/reference/tsxEmit1.types
new file mode 100644
index 00000000000..667ec113337
--- /dev/null
+++ b/tests/baselines/reference/tsxEmit1.types
@@ -0,0 +1,194 @@
+=== tests/cases/conformance/jsx/tsxEmit1.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface IntrinsicElements {
+>IntrinsicElements : IntrinsicElements
+
+		[s: string]: any;
+>s : string
+	}
+}
+
+var p;
+>p : any
+
+var selfClosed1 = <div />;
+>selfClosed1 : JSX.Element
+><div /> : JSX.Element
+>div : any
+
+var selfClosed2 = <div x="1" />;
+>selfClosed2 : JSX.Element
+><div x="1" /> : JSX.Element
+>div : any
+>x : any
+
+var selfClosed3 = <div x='1' />;
+>selfClosed3 : JSX.Element
+><div x='1' /> : JSX.Element
+>div : any
+>x : any
+
+var selfClosed4 = <div x="1" y='0' />;
+>selfClosed4 : JSX.Element
+><div x="1" y='0' /> : JSX.Element
+>div : any
+>x : any
+>y : any
+
+var selfClosed5 = <div x={0} y='0' />;
+>selfClosed5 : JSX.Element
+><div x={0} y='0' /> : JSX.Element
+>div : any
+>x : any
+>y : any
+
+var selfClosed6 = <div x={"1"} y='0' />;
+>selfClosed6 : JSX.Element
+><div x={"1"} y='0' /> : JSX.Element
+>div : any
+>x : any
+>y : any
+
+var selfClosed7 = <div x={p} y='p' />;
+>selfClosed7 : JSX.Element
+><div x={p} y='p' /> : JSX.Element
+>div : any
+>x : any
+>p : any
+>y : any
+
+var openClosed1 = <div></div>;
+>openClosed1 : JSX.Element
+><div></div> : JSX.Element
+>div : any
+>div : any
+
+var openClosed2 = <div n='m'>foo</div>;
+>openClosed2 : JSX.Element
+><div n='m'>foo</div> : JSX.Element
+>div : any
+>n : any
+>div : any
+
+var openClosed3 = <div n='m'>{p}</div>;
+>openClosed3 : JSX.Element
+><div n='m'>{p}</div> : JSX.Element
+>div : any
+>n : any
+>p : any
+>div : any
+
+var openClosed4 = <div n='m'>{p < p}</div>;
+>openClosed4 : JSX.Element
+><div n='m'>{p < p}</div> : JSX.Element
+>div : any
+>n : any
+>p < p : boolean
+>p : any
+>p : any
+>div : any
+
+var openClosed5 = <div n='m'>{p > p}</div>;
+>openClosed5 : JSX.Element
+><div n='m'>{p > p}</div> : JSX.Element
+>div : any
+>n : any
+>p > p : boolean
+>p : any
+>p : any
+>div : any
+
+class SomeClass {
+>SomeClass : SomeClass
+
+	f() {
+>f : () => void
+
+		var rewrites1 = <div>{() => this}</div>;
+>rewrites1 : JSX.Element
+><div>{() => this}</div> : JSX.Element
+>div : any
+>() => this : () => SomeClass
+>this : SomeClass
+>div : any
+
+		var rewrites2 = <div>{[p, ...p, p]}</div>;
+>rewrites2 : JSX.Element
+><div>{[p, ...p, p]}</div> : JSX.Element
+>div : any
+>[p, ...p, p] : any[]
+>p : any
+>...p : any
+>p : any
+>p : any
+>div : any
+
+		var rewrites3 = <div>{{p}}</div>;
+>rewrites3 : JSX.Element
+><div>{{p}}</div> : JSX.Element
+>div : any
+>{p} : { p: any; }
+>p : any
+>div : any
+
+		var rewrites4 = <div a={() => this}></div>;
+>rewrites4 : JSX.Element
+><div a={() => this}></div> : JSX.Element
+>div : any
+>a : any
+>() => this : () => SomeClass
+>this : SomeClass
+>div : any
+
+		var rewrites5 = <div a={[p, ...p, p]}></div>;
+>rewrites5 : JSX.Element
+><div a={[p, ...p, p]}></div> : JSX.Element
+>div : any
+>a : any
+>[p, ...p, p] : any[]
+>p : any
+>...p : any
+>p : any
+>p : any
+>div : any
+
+		var rewrites6 = <div a={{p}}></div>;
+>rewrites6 : JSX.Element
+><div a={{p}}></div> : JSX.Element
+>div : any
+>a : any
+>{p} : { p: any; }
+>p : any
+>div : any
+	}
+}
+
+var whitespace1 = <div>      </div>;
+>whitespace1 : JSX.Element
+><div>      </div> : JSX.Element
+>div : any
+>div : any
+
+var whitespace2 = <div>  {p}    </div>;
+>whitespace2 : JSX.Element
+><div>  {p}    </div> : JSX.Element
+>div : any
+>p : any
+>div : any
+
+var whitespace3 = <div>  
+>whitespace3 : JSX.Element
+><div>        {p}          </div> : JSX.Element
+>div : any
+
+      {p}    
+>p : any
+
+      </div>;
+>div : any
+
diff --git a/tests/baselines/reference/tsxEmit2.js b/tests/baselines/reference/tsxEmit2.js
new file mode 100644
index 00000000000..1101df49a1c
--- /dev/null
+++ b/tests/baselines/reference/tsxEmit2.js
@@ -0,0 +1,23 @@
+//// [tsxEmit2.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		[s: string]: any;
+	}
+}
+
+var p1, p2, p3;
+var spreads1 = <div {...p1}>{p2}</div>;
+var spreads2 = <div {...p1}>{p2}</div>;
+var spreads3 = <div x={p3} {...p1}>{p2}</div>;
+var spreads4 = <div {...p1} x={p3} >{p2}</div>;
+var spreads5 = <div x={p2} {...p1} y={p3}>{p2}</div>;
+
+
+//// [tsxEmit2.jsx]
+var p1, p2, p3;
+var spreads1 = <div {...p1}>{p2}</div>;
+var spreads2 = <div {...p1}>{p2}</div>;
+var spreads3 = <div x={p3} {...p1}>{p2}</div>;
+var spreads4 = <div {...p1} x={p3}>{p2}</div>;
+var spreads5 = <div x={p2} {...p1} y={p3}>{p2}</div>;
diff --git a/tests/baselines/reference/tsxEmit2.symbols b/tests/baselines/reference/tsxEmit2.symbols
new file mode 100644
index 00000000000..28f6a9f5026
--- /dev/null
+++ b/tests/baselines/reference/tsxEmit2.symbols
@@ -0,0 +1,44 @@
+=== tests/cases/conformance/jsx/tsxEmit2.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxEmit2.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxEmit2.tsx, 0, 20))
+
+	interface IntrinsicElements {
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(tsxEmit2.tsx, 1, 22))
+
+		[s: string]: any;
+>s : Symbol(s, Decl(tsxEmit2.tsx, 3, 3))
+	}
+}
+
+var p1, p2, p3;
+>p1 : Symbol(p1, Decl(tsxEmit2.tsx, 7, 3))
+>p2 : Symbol(p2, Decl(tsxEmit2.tsx, 7, 7))
+>p3 : Symbol(p3, Decl(tsxEmit2.tsx, 7, 11))
+
+var spreads1 = <div {...p1}>{p2}</div>;
+>spreads1 : Symbol(spreads1, Decl(tsxEmit2.tsx, 8, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit2.tsx, 1, 22))
+
+var spreads2 = <div {...p1}>{p2}</div>;
+>spreads2 : Symbol(spreads2, Decl(tsxEmit2.tsx, 9, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit2.tsx, 1, 22))
+
+var spreads3 = <div x={p3} {...p1}>{p2}</div>;
+>spreads3 : Symbol(spreads3, Decl(tsxEmit2.tsx, 10, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit2.tsx, 1, 22))
+>x : Symbol(unknown)
+
+var spreads4 = <div {...p1} x={p3} >{p2}</div>;
+>spreads4 : Symbol(spreads4, Decl(tsxEmit2.tsx, 11, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit2.tsx, 1, 22))
+>x : Symbol(unknown)
+
+var spreads5 = <div x={p2} {...p1} y={p3}>{p2}</div>;
+>spreads5 : Symbol(spreads5, Decl(tsxEmit2.tsx, 12, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxEmit2.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
diff --git a/tests/baselines/reference/tsxEmit2.types b/tests/baselines/reference/tsxEmit2.types
new file mode 100644
index 00000000000..f5633b739e3
--- /dev/null
+++ b/tests/baselines/reference/tsxEmit2.types
@@ -0,0 +1,68 @@
+=== tests/cases/conformance/jsx/tsxEmit2.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface IntrinsicElements {
+>IntrinsicElements : IntrinsicElements
+
+		[s: string]: any;
+>s : string
+	}
+}
+
+var p1, p2, p3;
+>p1 : any
+>p2 : any
+>p3 : any
+
+var spreads1 = <div {...p1}>{p2}</div>;
+>spreads1 : JSX.Element
+><div {...p1}>{p2}</div> : JSX.Element
+>div : any
+>p1 : any
+>p2 : any
+>div : any
+
+var spreads2 = <div {...p1}>{p2}</div>;
+>spreads2 : JSX.Element
+><div {...p1}>{p2}</div> : JSX.Element
+>div : any
+>p1 : any
+>p2 : any
+>div : any
+
+var spreads3 = <div x={p3} {...p1}>{p2}</div>;
+>spreads3 : JSX.Element
+><div x={p3} {...p1}>{p2}</div> : JSX.Element
+>div : any
+>x : any
+>p3 : any
+>p1 : any
+>p2 : any
+>div : any
+
+var spreads4 = <div {...p1} x={p3} >{p2}</div>;
+>spreads4 : JSX.Element
+><div {...p1} x={p3} >{p2}</div> : JSX.Element
+>div : any
+>p1 : any
+>x : any
+>p3 : any
+>p2 : any
+>div : any
+
+var spreads5 = <div x={p2} {...p1} y={p3}>{p2}</div>;
+>spreads5 : JSX.Element
+><div x={p2} {...p1} y={p3}>{p2}</div> : JSX.Element
+>div : any
+>x : any
+>p2 : any
+>p1 : any
+>y : any
+>p3 : any
+>p2 : any
+>div : any
+
diff --git a/tests/baselines/reference/tsxEmit3.js b/tests/baselines/reference/tsxEmit3.js
new file mode 100644
index 00000000000..beae73e2bf1
--- /dev/null
+++ b/tests/baselines/reference/tsxEmit3.js
@@ -0,0 +1,84 @@
+//// [tsxEmit3.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements { }
+}
+
+module M {
+	export class Foo { constructor() { } }
+	export module S {
+		export class Bar { }
+
+		// Emit Foo
+		// Foo, <Foo />;
+	}
+}
+
+module M {
+	// Emit M.Foo
+	Foo, <Foo />;
+
+	export module S {
+		// Emit M.Foo
+		Foo, <Foo />;
+
+		// Emit S.Bar
+		Bar, <Bar />;
+	}
+
+}
+
+module M {
+	// Emit M.S.Bar
+	S.Bar, <S.Bar />;
+}
+
+module M {
+	var M = 100;
+	// Emit M_1.Foo
+	Foo, <Foo />;
+}
+
+
+//// [tsxEmit3.jsx]
+var M;
+(function (M) {
+    var Foo = (function () {
+        function Foo() {
+        }
+        return Foo;
+    })();
+    M.Foo = Foo;
+    var S;
+    (function (S) {
+        var Bar = (function () {
+            function Bar() {
+            }
+            return Bar;
+        })();
+        S.Bar = Bar;
+    })(S = M.S || (M.S = {}));
+})(M || (M = {}));
+var M;
+(function (M) {
+    // Emit M.Foo
+    M.Foo, <M.Foo />;
+    var S;
+    (function (S) {
+        // Emit M.Foo
+        M.Foo, <M.Foo />;
+        // Emit S.Bar
+        S.Bar, <S.Bar />;
+    })(S = M.S || (M.S = {}));
+})(M || (M = {}));
+var M;
+(function (M) {
+    // Emit M.S.Bar
+    M.S.Bar, <M.S.Bar />;
+})(M || (M = {}));
+var M;
+(function (M_1) {
+    var M = 100;
+    // Emit M_1.Foo
+    M_1.Foo, <M_1.Foo />;
+})(M || (M = {}));
diff --git a/tests/baselines/reference/tsxEmit3.symbols b/tests/baselines/reference/tsxEmit3.symbols
new file mode 100644
index 00000000000..4ceed0b9b1e
--- /dev/null
+++ b/tests/baselines/reference/tsxEmit3.symbols
@@ -0,0 +1,75 @@
+=== tests/cases/conformance/jsx/tsxEmit3.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxEmit3.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxEmit3.tsx, 0, 20))
+
+	interface IntrinsicElements { }
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(tsxEmit3.tsx, 1, 22))
+}
+
+module M {
+>M : Symbol(M, Decl(tsxEmit3.tsx, 3, 1), Decl(tsxEmit3.tsx, 13, 1), Decl(tsxEmit3.tsx, 27, 1), Decl(tsxEmit3.tsx, 32, 1))
+
+	export class Foo { constructor() { } }
+>Foo : Symbol(Foo, Decl(tsxEmit3.tsx, 5, 10))
+
+	export module S {
+>S : Symbol(S, Decl(tsxEmit3.tsx, 6, 39), Decl(tsxEmit3.tsx, 17, 14))
+
+		export class Bar { }
+>Bar : Symbol(Bar, Decl(tsxEmit3.tsx, 7, 18))
+
+		// Emit Foo
+		// Foo, <Foo />;
+	}
+}
+
+module M {
+>M : Symbol(M, Decl(tsxEmit3.tsx, 3, 1), Decl(tsxEmit3.tsx, 13, 1), Decl(tsxEmit3.tsx, 27, 1), Decl(tsxEmit3.tsx, 32, 1))
+
+	// Emit M.Foo
+	Foo, <Foo />;
+>Foo : Symbol(Foo, Decl(tsxEmit3.tsx, 5, 10))
+>Foo : Symbol(Foo, Decl(tsxEmit3.tsx, 5, 10))
+
+	export module S {
+>S : Symbol(S, Decl(tsxEmit3.tsx, 6, 39), Decl(tsxEmit3.tsx, 17, 14))
+
+		// Emit M.Foo
+		Foo, <Foo />;
+>Foo : Symbol(Foo, Decl(tsxEmit3.tsx, 5, 10))
+>Foo : Symbol(Foo, Decl(tsxEmit3.tsx, 5, 10))
+
+		// Emit S.Bar
+		Bar, <Bar />;
+>Bar : Symbol(Bar, Decl(tsxEmit3.tsx, 7, 18))
+>Bar : Symbol(Bar, Decl(tsxEmit3.tsx, 7, 18))
+	}
+
+}
+
+module M {
+>M : Symbol(M, Decl(tsxEmit3.tsx, 3, 1), Decl(tsxEmit3.tsx, 13, 1), Decl(tsxEmit3.tsx, 27, 1), Decl(tsxEmit3.tsx, 32, 1))
+
+	// Emit M.S.Bar
+	S.Bar, <S.Bar />;
+>S.Bar : Symbol(S.Bar, Decl(tsxEmit3.tsx, 7, 18))
+>S : Symbol(S, Decl(tsxEmit3.tsx, 6, 39), Decl(tsxEmit3.tsx, 17, 14))
+>Bar : Symbol(S.Bar, Decl(tsxEmit3.tsx, 7, 18))
+>Bar : Symbol(S.Bar, Decl(tsxEmit3.tsx, 7, 18))
+}
+
+module M {
+>M : Symbol(M, Decl(tsxEmit3.tsx, 3, 1), Decl(tsxEmit3.tsx, 13, 1), Decl(tsxEmit3.tsx, 27, 1), Decl(tsxEmit3.tsx, 32, 1))
+
+	var M = 100;
+>M : Symbol(M, Decl(tsxEmit3.tsx, 35, 4))
+
+	// Emit M_1.Foo
+	Foo, <Foo />;
+>Foo : Symbol(Foo, Decl(tsxEmit3.tsx, 5, 10))
+>Foo : Symbol(Foo, Decl(tsxEmit3.tsx, 5, 10))
+}
+
diff --git a/tests/baselines/reference/tsxEmit3.types b/tests/baselines/reference/tsxEmit3.types
new file mode 100644
index 00000000000..4bb92d9aea5
--- /dev/null
+++ b/tests/baselines/reference/tsxEmit3.types
@@ -0,0 +1,87 @@
+=== tests/cases/conformance/jsx/tsxEmit3.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface IntrinsicElements { }
+>IntrinsicElements : IntrinsicElements
+}
+
+module M {
+>M : typeof M
+
+	export class Foo { constructor() { } }
+>Foo : Foo
+
+	export module S {
+>S : typeof S
+
+		export class Bar { }
+>Bar : Bar
+
+		// Emit Foo
+		// Foo, <Foo />;
+	}
+}
+
+module M {
+>M : typeof M
+
+	// Emit M.Foo
+	Foo, <Foo />;
+>Foo, <Foo /> : JSX.Element
+>Foo : typeof Foo
+><Foo /> : JSX.Element
+>Foo : typeof Foo
+
+	export module S {
+>S : typeof S
+
+		// Emit M.Foo
+		Foo, <Foo />;
+>Foo, <Foo /> : JSX.Element
+>Foo : typeof Foo
+><Foo /> : JSX.Element
+>Foo : typeof Foo
+
+		// Emit S.Bar
+		Bar, <Bar />;
+>Bar, <Bar /> : JSX.Element
+>Bar : typeof Bar
+><Bar /> : JSX.Element
+>Bar : typeof Bar
+	}
+
+}
+
+module M {
+>M : typeof M
+
+	// Emit M.S.Bar
+	S.Bar, <S.Bar />;
+>S.Bar, <S.Bar /> : JSX.Element
+>S.Bar : typeof S.Bar
+>S : typeof S
+>Bar : typeof S.Bar
+><S.Bar /> : JSX.Element
+>S : any
+>Bar : any
+}
+
+module M {
+>M : typeof M
+
+	var M = 100;
+>M : number
+>100 : number
+
+	// Emit M_1.Foo
+	Foo, <Foo />;
+>Foo, <Foo /> : JSX.Element
+>Foo : typeof Foo
+><Foo /> : JSX.Element
+>Foo : typeof Foo
+}
+
diff --git a/tests/baselines/reference/tsxGenericArrowFunctionParsing.js b/tests/baselines/reference/tsxGenericArrowFunctionParsing.js
new file mode 100644
index 00000000000..f493347ca9c
--- /dev/null
+++ b/tests/baselines/reference/tsxGenericArrowFunctionParsing.js
@@ -0,0 +1,46 @@
+//// [tsxGenericArrowFunctionParsing.tsx]
+declare module JSX {
+	interface Element { isElement; }
+}
+
+var T, T1, T2;
+
+// This is an element
+var x1 = <T>() => {}</T>;
+x1.isElement;
+
+// This is a generic function
+var x2 = <T extends {}>() => {};
+x2();
+
+// This is a generic function
+var x3 = <T, T1>() => {};
+x3();
+
+// This is an element
+var x4 = <T extends={true}>() => {}</T>;
+x4.isElement;
+
+// This is an element
+var x5 = <T extends>() => {}</T>;
+x5.isElement;
+
+
+
+//// [tsxGenericArrowFunctionParsing.jsx]
+var T, T1, T2;
+// This is an element
+var x1 = <T>() => </T>;
+x1.isElement;
+// This is a generic function
+var x2 = function () { };
+x2();
+// This is a generic function
+var x3 = function () { };
+x3();
+// This is an element
+var x4 = <T extends={true}>() => </T>;
+x4.isElement;
+// This is an element
+var x5 = <T extends=>() => </T>;
+x5.isElement;
diff --git a/tests/baselines/reference/tsxGenericArrowFunctionParsing.symbols b/tests/baselines/reference/tsxGenericArrowFunctionParsing.symbols
new file mode 100644
index 00000000000..8bd68b2e8e7
--- /dev/null
+++ b/tests/baselines/reference/tsxGenericArrowFunctionParsing.symbols
@@ -0,0 +1,64 @@
+=== tests/cases/conformance/jsx/tsxGenericArrowFunctionParsing.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxGenericArrowFunctionParsing.tsx, 0, 0))
+
+	interface Element { isElement; }
+>Element : Symbol(Element, Decl(tsxGenericArrowFunctionParsing.tsx, 0, 20))
+>isElement : Symbol(isElement, Decl(tsxGenericArrowFunctionParsing.tsx, 1, 20))
+}
+
+var T, T1, T2;
+>T : Symbol(T, Decl(tsxGenericArrowFunctionParsing.tsx, 4, 3))
+>T1 : Symbol(T1, Decl(tsxGenericArrowFunctionParsing.tsx, 4, 6))
+>T2 : Symbol(T2, Decl(tsxGenericArrowFunctionParsing.tsx, 4, 10))
+
+// This is an element
+var x1 = <T>() => {}</T>;
+>x1 : Symbol(x1, Decl(tsxGenericArrowFunctionParsing.tsx, 7, 3))
+>T : Symbol(T, Decl(tsxGenericArrowFunctionParsing.tsx, 4, 3))
+
+x1.isElement;
+>x1.isElement : Symbol(JSX.Element.isElement, Decl(tsxGenericArrowFunctionParsing.tsx, 1, 20))
+>x1 : Symbol(x1, Decl(tsxGenericArrowFunctionParsing.tsx, 7, 3))
+>isElement : Symbol(JSX.Element.isElement, Decl(tsxGenericArrowFunctionParsing.tsx, 1, 20))
+
+// This is a generic function
+var x2 = <T extends {}>() => {};
+>x2 : Symbol(x2, Decl(tsxGenericArrowFunctionParsing.tsx, 11, 3))
+>T : Symbol(T, Decl(tsxGenericArrowFunctionParsing.tsx, 11, 10))
+
+x2();
+>x2 : Symbol(x2, Decl(tsxGenericArrowFunctionParsing.tsx, 11, 3))
+
+// This is a generic function
+var x3 = <T, T1>() => {};
+>x3 : Symbol(x3, Decl(tsxGenericArrowFunctionParsing.tsx, 15, 3))
+>T : Symbol(T, Decl(tsxGenericArrowFunctionParsing.tsx, 15, 10))
+>T1 : Symbol(T1, Decl(tsxGenericArrowFunctionParsing.tsx, 15, 12))
+
+x3();
+>x3 : Symbol(x3, Decl(tsxGenericArrowFunctionParsing.tsx, 15, 3))
+
+// This is an element
+var x4 = <T extends={true}>() => {}</T>;
+>x4 : Symbol(x4, Decl(tsxGenericArrowFunctionParsing.tsx, 19, 3))
+>T : Symbol(T, Decl(tsxGenericArrowFunctionParsing.tsx, 4, 3))
+>extends : Symbol(unknown)
+
+x4.isElement;
+>x4.isElement : Symbol(JSX.Element.isElement, Decl(tsxGenericArrowFunctionParsing.tsx, 1, 20))
+>x4 : Symbol(x4, Decl(tsxGenericArrowFunctionParsing.tsx, 19, 3))
+>isElement : Symbol(JSX.Element.isElement, Decl(tsxGenericArrowFunctionParsing.tsx, 1, 20))
+
+// This is an element
+var x5 = <T extends>() => {}</T>;
+>x5 : Symbol(x5, Decl(tsxGenericArrowFunctionParsing.tsx, 23, 3))
+>T : Symbol(T, Decl(tsxGenericArrowFunctionParsing.tsx, 4, 3))
+>extends : Symbol(unknown)
+
+x5.isElement;
+>x5.isElement : Symbol(JSX.Element.isElement, Decl(tsxGenericArrowFunctionParsing.tsx, 1, 20))
+>x5 : Symbol(x5, Decl(tsxGenericArrowFunctionParsing.tsx, 23, 3))
+>isElement : Symbol(JSX.Element.isElement, Decl(tsxGenericArrowFunctionParsing.tsx, 1, 20))
+
+
diff --git a/tests/baselines/reference/tsxGenericArrowFunctionParsing.types b/tests/baselines/reference/tsxGenericArrowFunctionParsing.types
new file mode 100644
index 00000000000..a7d98d35b64
--- /dev/null
+++ b/tests/baselines/reference/tsxGenericArrowFunctionParsing.types
@@ -0,0 +1,75 @@
+=== tests/cases/conformance/jsx/tsxGenericArrowFunctionParsing.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { isElement; }
+>Element : Element
+>isElement : any
+}
+
+var T, T1, T2;
+>T : any
+>T1 : any
+>T2 : any
+
+// This is an element
+var x1 = <T>() => {}</T>;
+>x1 : JSX.Element
+><T>() => {}</T> : JSX.Element
+>T : any
+>T : any
+
+x1.isElement;
+>x1.isElement : any
+>x1 : JSX.Element
+>isElement : any
+
+// This is a generic function
+var x2 = <T extends {}>() => {};
+>x2 : <T extends {}>() => void
+><T extends {}>() => {} : <T extends {}>() => void
+>T : T
+
+x2();
+>x2() : void
+>x2 : <T extends {}>() => void
+
+// This is a generic function
+var x3 = <T, T1>() => {};
+>x3 : <T, T1>() => void
+><T, T1>() => {} : <T, T1>() => void
+>T : T
+>T1 : T1
+
+x3();
+>x3() : void
+>x3 : <T, T1>() => void
+
+// This is an element
+var x4 = <T extends={true}>() => {}</T>;
+>x4 : JSX.Element
+><T extends={true}>() => {}</T> : JSX.Element
+>T : any
+>extends : any
+>true : boolean
+>T : any
+
+x4.isElement;
+>x4.isElement : any
+>x4 : JSX.Element
+>isElement : any
+
+// This is an element
+var x5 = <T extends>() => {}</T>;
+>x5 : JSX.Element
+><T extends>() => {}</T> : JSX.Element
+>T : any
+>extends : any
+>T : any
+
+x5.isElement;
+>x5.isElement : any
+>x5 : JSX.Element
+>isElement : any
+
+
diff --git a/tests/baselines/reference/tsxNoJsx.errors.txt b/tests/baselines/reference/tsxNoJsx.errors.txt
new file mode 100644
index 00000000000..9e5c6762c9e
--- /dev/null
+++ b/tests/baselines/reference/tsxNoJsx.errors.txt
@@ -0,0 +1,9 @@
+tests/cases/conformance/jsx/tsxNoJsx.tsx(2,1): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+
+
+==== tests/cases/conformance/jsx/tsxNoJsx.tsx (1 errors) ====
+    
+    <nope />;
+    ~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxNoJsx.js b/tests/baselines/reference/tsxNoJsx.js
new file mode 100644
index 00000000000..37663adf2a7
--- /dev/null
+++ b/tests/baselines/reference/tsxNoJsx.js
@@ -0,0 +1,7 @@
+//// [tsxNoJsx.tsx]
+
+<nope />;
+
+
+//// [tsxNoJsx.jsx]
+<nope />;
diff --git a/tests/baselines/reference/tsxParseTests1.js b/tests/baselines/reference/tsxParseTests1.js
new file mode 100644
index 00000000000..7ab98cab314
--- /dev/null
+++ b/tests/baselines/reference/tsxParseTests1.js
@@ -0,0 +1,11 @@
+//// [tsxParseTests1.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements { div; span; }
+}
+
+var x = <div><div><span><div></div></span></div></div>;
+
+
+//// [tsxParseTests1.jsx]
+var x = <div><div><span><div></div></span></div></div>;
diff --git a/tests/baselines/reference/tsxParseTests1.symbols b/tests/baselines/reference/tsxParseTests1.symbols
new file mode 100644
index 00000000000..dbe11dbcbba
--- /dev/null
+++ b/tests/baselines/reference/tsxParseTests1.symbols
@@ -0,0 +1,20 @@
+=== tests/cases/conformance/jsx/tsxParseTests1.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxParseTests1.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxParseTests1.tsx, 0, 20))
+
+	interface IntrinsicElements { div; span; }
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(tsxParseTests1.tsx, 1, 22))
+>div : Symbol(div, Decl(tsxParseTests1.tsx, 2, 30))
+>span : Symbol(span, Decl(tsxParseTests1.tsx, 2, 35))
+}
+
+var x = <div><div><span><div></div></span></div></div>;
+>x : Symbol(x, Decl(tsxParseTests1.tsx, 5, 3))
+>div : Symbol(JSX.IntrinsicElements.div, Decl(tsxParseTests1.tsx, 2, 30))
+>div : Symbol(JSX.IntrinsicElements.div, Decl(tsxParseTests1.tsx, 2, 30))
+>span : Symbol(JSX.IntrinsicElements.span, Decl(tsxParseTests1.tsx, 2, 35))
+>div : Symbol(JSX.IntrinsicElements.div, Decl(tsxParseTests1.tsx, 2, 30))
+
diff --git a/tests/baselines/reference/tsxParseTests1.types b/tests/baselines/reference/tsxParseTests1.types
new file mode 100644
index 00000000000..78e49a227e2
--- /dev/null
+++ b/tests/baselines/reference/tsxParseTests1.types
@@ -0,0 +1,28 @@
+=== tests/cases/conformance/jsx/tsxParseTests1.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface IntrinsicElements { div; span; }
+>IntrinsicElements : IntrinsicElements
+>div : any
+>span : any
+}
+
+var x = <div><div><span><div></div></span></div></div>;
+>x : JSX.Element
+><div><div><span><div></div></span></div></div> : JSX.Element
+>div : any
+><div><span><div></div></span></div> : JSX.Element
+>div : any
+><span><div></div></span> : JSX.Element
+>span : any
+><div></div> : JSX.Element
+>div : any
+>div : any
+>span : any
+>div : any
+>div : any
+
diff --git a/tests/baselines/reference/tsxReactEmit1.js b/tests/baselines/reference/tsxReactEmit1.js
new file mode 100644
index 00000000000..c461987c77d
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit1.js
@@ -0,0 +1,73 @@
+//// [tsxReactEmit1.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		[s: string]: any;
+	}
+}
+
+var p;
+var selfClosed1 = <div />;
+var selfClosed2 = <div x="1" />;
+var selfClosed3 = <div x='1' />;
+var selfClosed4 = <div x="1" y='0' />;
+var selfClosed5 = <div x={0} y='0' />;
+var selfClosed6 = <div x={"1"} y='0' />;
+var selfClosed7 = <div x={p} y='p' />;
+
+var openClosed1 = <div></div>;
+var openClosed2 = <div n='m'>foo</div>;
+var openClosed3 = <div n='m'>{p}</div>;
+var openClosed4 = <div n='m'>{p < p}</div>;
+var openClosed5 = <div n='m'>{p > p}</div>;
+
+class SomeClass {
+	f() {
+		var rewrites1 = <div>{() => this}</div>;
+		var rewrites2 = <div>{[p, ...p, p]}</div>;
+		var rewrites3 = <div>{{p}}</div>;
+
+		var rewrites4 = <div a={() => this}></div>;
+		var rewrites5 = <div a={[p, ...p, p]}></div>;
+		var rewrites6 = <div a={{p}}></div>;
+	}
+}
+
+var whitespace1 = <div>      </div>;
+var whitespace2 = <div>  {p}    </div>;
+var whitespace3 = <div>  
+      {p}    
+      </div>;
+
+
+//// [tsxReactEmit1.js]
+var p;
+var selfClosed1 = React.createElement("div", null);
+var selfClosed2 = React.createElement("div", {x: "1"});
+var selfClosed3 = React.createElement("div", {x: '1'});
+var selfClosed4 = React.createElement("div", {x: "1", y: '0'});
+var selfClosed5 = React.createElement("div", {x: 0, y: '0'});
+var selfClosed6 = React.createElement("div", {x: "1", y: '0'});
+var selfClosed7 = React.createElement("div", {x: p, y: 'p'});
+var openClosed1 = React.createElement("div", null);
+var openClosed2 = React.createElement("div", {n: 'm'}, "foo");
+var openClosed3 = React.createElement("div", {n: 'm'}, p);
+var openClosed4 = React.createElement("div", {n: 'm'}, p < p);
+var openClosed5 = React.createElement("div", {n: 'm'}, p > p);
+var SomeClass = (function () {
+    function SomeClass() {
+    }
+    SomeClass.prototype.f = function () {
+        var _this = this;
+        var rewrites1 = React.createElement("div", null, function () { return _this; });
+        var rewrites2 = React.createElement("div", null, [p].concat(p, [p]));
+        var rewrites3 = React.createElement("div", null, { p: p });
+        var rewrites4 = React.createElement("div", {a: function () { return _this; }});
+        var rewrites5 = React.createElement("div", {a: [p].concat(p, [p])});
+        var rewrites6 = React.createElement("div", {a: { p: p }});
+    };
+    return SomeClass;
+})();
+var whitespace1 = React.createElement("div", null, "      ");
+var whitespace2 = React.createElement("div", null, "  ", p, "    ");
+var whitespace3 = React.createElement("div", null, p);
diff --git a/tests/baselines/reference/tsxReactEmit1.symbols b/tests/baselines/reference/tsxReactEmit1.symbols
new file mode 100644
index 00000000000..f35a7872915
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit1.symbols
@@ -0,0 +1,144 @@
+=== tests/cases/conformance/jsx/tsxReactEmit1.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxReactEmit1.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxReactEmit1.tsx, 0, 20))
+
+	interface IntrinsicElements {
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+
+		[s: string]: any;
+>s : Symbol(s, Decl(tsxReactEmit1.tsx, 3, 3))
+	}
+}
+
+var p;
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+
+var selfClosed1 = <div />;
+>selfClosed1 : Symbol(selfClosed1, Decl(tsxReactEmit1.tsx, 8, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+
+var selfClosed2 = <div x="1" />;
+>selfClosed2 : Symbol(selfClosed2, Decl(tsxReactEmit1.tsx, 9, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+
+var selfClosed3 = <div x='1' />;
+>selfClosed3 : Symbol(selfClosed3, Decl(tsxReactEmit1.tsx, 10, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+
+var selfClosed4 = <div x="1" y='0' />;
+>selfClosed4 : Symbol(selfClosed4, Decl(tsxReactEmit1.tsx, 11, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
+var selfClosed5 = <div x={0} y='0' />;
+>selfClosed5 : Symbol(selfClosed5, Decl(tsxReactEmit1.tsx, 12, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
+var selfClosed6 = <div x={"1"} y='0' />;
+>selfClosed6 : Symbol(selfClosed6, Decl(tsxReactEmit1.tsx, 13, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
+var selfClosed7 = <div x={p} y='p' />;
+>selfClosed7 : Symbol(selfClosed7, Decl(tsxReactEmit1.tsx, 14, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
+var openClosed1 = <div></div>;
+>openClosed1 : Symbol(openClosed1, Decl(tsxReactEmit1.tsx, 16, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+
+var openClosed2 = <div n='m'>foo</div>;
+>openClosed2 : Symbol(openClosed2, Decl(tsxReactEmit1.tsx, 17, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>n : Symbol(unknown)
+
+var openClosed3 = <div n='m'>{p}</div>;
+>openClosed3 : Symbol(openClosed3, Decl(tsxReactEmit1.tsx, 18, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>n : Symbol(unknown)
+
+var openClosed4 = <div n='m'>{p < p}</div>;
+>openClosed4 : Symbol(openClosed4, Decl(tsxReactEmit1.tsx, 19, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>n : Symbol(unknown)
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+
+var openClosed5 = <div n='m'>{p > p}</div>;
+>openClosed5 : Symbol(openClosed5, Decl(tsxReactEmit1.tsx, 20, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>n : Symbol(unknown)
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+
+class SomeClass {
+>SomeClass : Symbol(SomeClass, Decl(tsxReactEmit1.tsx, 20, 43))
+
+	f() {
+>f : Symbol(f, Decl(tsxReactEmit1.tsx, 22, 17))
+
+		var rewrites1 = <div>{() => this}</div>;
+>rewrites1 : Symbol(rewrites1, Decl(tsxReactEmit1.tsx, 24, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>this : Symbol(SomeClass, Decl(tsxReactEmit1.tsx, 20, 43))
+
+		var rewrites2 = <div>{[p, ...p, p]}</div>;
+>rewrites2 : Symbol(rewrites2, Decl(tsxReactEmit1.tsx, 25, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+
+		var rewrites3 = <div>{{p}}</div>;
+>rewrites3 : Symbol(rewrites3, Decl(tsxReactEmit1.tsx, 26, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 26, 25))
+
+		var rewrites4 = <div a={() => this}></div>;
+>rewrites4 : Symbol(rewrites4, Decl(tsxReactEmit1.tsx, 28, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>a : Symbol(unknown)
+>this : Symbol(SomeClass, Decl(tsxReactEmit1.tsx, 20, 43))
+
+		var rewrites5 = <div a={[p, ...p, p]}></div>;
+>rewrites5 : Symbol(rewrites5, Decl(tsxReactEmit1.tsx, 29, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>a : Symbol(unknown)
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 7, 3))
+
+		var rewrites6 = <div a={{p}}></div>;
+>rewrites6 : Symbol(rewrites6, Decl(tsxReactEmit1.tsx, 30, 5))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+>a : Symbol(unknown)
+>p : Symbol(p, Decl(tsxReactEmit1.tsx, 30, 27))
+	}
+}
+
+var whitespace1 = <div>      </div>;
+>whitespace1 : Symbol(whitespace1, Decl(tsxReactEmit1.tsx, 34, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+
+var whitespace2 = <div>  {p}    </div>;
+>whitespace2 : Symbol(whitespace2, Decl(tsxReactEmit1.tsx, 35, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+
+var whitespace3 = <div>  
+>whitespace3 : Symbol(whitespace3, Decl(tsxReactEmit1.tsx, 36, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit1.tsx, 1, 22))
+
+      {p}    
+      </div>;
+
diff --git a/tests/baselines/reference/tsxReactEmit1.types b/tests/baselines/reference/tsxReactEmit1.types
new file mode 100644
index 00000000000..d58316b14cf
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit1.types
@@ -0,0 +1,194 @@
+=== tests/cases/conformance/jsx/tsxReactEmit1.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface IntrinsicElements {
+>IntrinsicElements : IntrinsicElements
+
+		[s: string]: any;
+>s : string
+	}
+}
+
+var p;
+>p : any
+
+var selfClosed1 = <div />;
+>selfClosed1 : JSX.Element
+><div /> : JSX.Element
+>div : any
+
+var selfClosed2 = <div x="1" />;
+>selfClosed2 : JSX.Element
+><div x="1" /> : JSX.Element
+>div : any
+>x : any
+
+var selfClosed3 = <div x='1' />;
+>selfClosed3 : JSX.Element
+><div x='1' /> : JSX.Element
+>div : any
+>x : any
+
+var selfClosed4 = <div x="1" y='0' />;
+>selfClosed4 : JSX.Element
+><div x="1" y='0' /> : JSX.Element
+>div : any
+>x : any
+>y : any
+
+var selfClosed5 = <div x={0} y='0' />;
+>selfClosed5 : JSX.Element
+><div x={0} y='0' /> : JSX.Element
+>div : any
+>x : any
+>y : any
+
+var selfClosed6 = <div x={"1"} y='0' />;
+>selfClosed6 : JSX.Element
+><div x={"1"} y='0' /> : JSX.Element
+>div : any
+>x : any
+>y : any
+
+var selfClosed7 = <div x={p} y='p' />;
+>selfClosed7 : JSX.Element
+><div x={p} y='p' /> : JSX.Element
+>div : any
+>x : any
+>p : any
+>y : any
+
+var openClosed1 = <div></div>;
+>openClosed1 : JSX.Element
+><div></div> : JSX.Element
+>div : any
+>div : any
+
+var openClosed2 = <div n='m'>foo</div>;
+>openClosed2 : JSX.Element
+><div n='m'>foo</div> : JSX.Element
+>div : any
+>n : any
+>div : any
+
+var openClosed3 = <div n='m'>{p}</div>;
+>openClosed3 : JSX.Element
+><div n='m'>{p}</div> : JSX.Element
+>div : any
+>n : any
+>p : any
+>div : any
+
+var openClosed4 = <div n='m'>{p < p}</div>;
+>openClosed4 : JSX.Element
+><div n='m'>{p < p}</div> : JSX.Element
+>div : any
+>n : any
+>p < p : boolean
+>p : any
+>p : any
+>div : any
+
+var openClosed5 = <div n='m'>{p > p}</div>;
+>openClosed5 : JSX.Element
+><div n='m'>{p > p}</div> : JSX.Element
+>div : any
+>n : any
+>p > p : boolean
+>p : any
+>p : any
+>div : any
+
+class SomeClass {
+>SomeClass : SomeClass
+
+	f() {
+>f : () => void
+
+		var rewrites1 = <div>{() => this}</div>;
+>rewrites1 : JSX.Element
+><div>{() => this}</div> : JSX.Element
+>div : any
+>() => this : () => SomeClass
+>this : SomeClass
+>div : any
+
+		var rewrites2 = <div>{[p, ...p, p]}</div>;
+>rewrites2 : JSX.Element
+><div>{[p, ...p, p]}</div> : JSX.Element
+>div : any
+>[p, ...p, p] : any[]
+>p : any
+>...p : any
+>p : any
+>p : any
+>div : any
+
+		var rewrites3 = <div>{{p}}</div>;
+>rewrites3 : JSX.Element
+><div>{{p}}</div> : JSX.Element
+>div : any
+>{p} : { p: any; }
+>p : any
+>div : any
+
+		var rewrites4 = <div a={() => this}></div>;
+>rewrites4 : JSX.Element
+><div a={() => this}></div> : JSX.Element
+>div : any
+>a : any
+>() => this : () => SomeClass
+>this : SomeClass
+>div : any
+
+		var rewrites5 = <div a={[p, ...p, p]}></div>;
+>rewrites5 : JSX.Element
+><div a={[p, ...p, p]}></div> : JSX.Element
+>div : any
+>a : any
+>[p, ...p, p] : any[]
+>p : any
+>...p : any
+>p : any
+>p : any
+>div : any
+
+		var rewrites6 = <div a={{p}}></div>;
+>rewrites6 : JSX.Element
+><div a={{p}}></div> : JSX.Element
+>div : any
+>a : any
+>{p} : { p: any; }
+>p : any
+>div : any
+	}
+}
+
+var whitespace1 = <div>      </div>;
+>whitespace1 : JSX.Element
+><div>      </div> : JSX.Element
+>div : any
+>div : any
+
+var whitespace2 = <div>  {p}    </div>;
+>whitespace2 : JSX.Element
+><div>  {p}    </div> : JSX.Element
+>div : any
+>p : any
+>div : any
+
+var whitespace3 = <div>  
+>whitespace3 : JSX.Element
+><div>        {p}          </div> : JSX.Element
+>div : any
+
+      {p}    
+>p : any
+
+      </div>;
+>div : any
+
diff --git a/tests/baselines/reference/tsxReactEmit2.js b/tests/baselines/reference/tsxReactEmit2.js
new file mode 100644
index 00000000000..c19d9958ad4
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit2.js
@@ -0,0 +1,23 @@
+//// [tsxReactEmit2.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		[s: string]: any;
+	}
+}
+
+var p1, p2, p3;
+var spreads1 = <div {...p1}>{p2}</div>;
+var spreads2 = <div {...p1}>{p2}</div>;
+var spreads3 = <div x={p3} {...p1}>{p2}</div>;
+var spreads4 = <div {...p1} x={p3} >{p2}</div>;
+var spreads5 = <div x={p2} {...p1} y={p3}>{p2}</div>;
+
+
+//// [tsxReactEmit2.js]
+var p1, p2, p3;
+var spreads1 = React.createElement("div", React.__spread(p1), p2);
+var spreads2 = React.createElement("div", React.__spread(p1), p2);
+var spreads3 = React.createElement("div", React.__spread({x: p3}, p1), p2);
+var spreads4 = React.createElement("div", React.__spread(p1, {x: p3}), p2);
+var spreads5 = React.createElement("div", React.__spread({x: p2}, p1, {y: p3}), p2);
diff --git a/tests/baselines/reference/tsxReactEmit2.symbols b/tests/baselines/reference/tsxReactEmit2.symbols
new file mode 100644
index 00000000000..9607d9330da
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit2.symbols
@@ -0,0 +1,44 @@
+=== tests/cases/conformance/jsx/tsxReactEmit2.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxReactEmit2.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxReactEmit2.tsx, 0, 20))
+
+	interface IntrinsicElements {
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(tsxReactEmit2.tsx, 1, 22))
+
+		[s: string]: any;
+>s : Symbol(s, Decl(tsxReactEmit2.tsx, 3, 3))
+	}
+}
+
+var p1, p2, p3;
+>p1 : Symbol(p1, Decl(tsxReactEmit2.tsx, 7, 3))
+>p2 : Symbol(p2, Decl(tsxReactEmit2.tsx, 7, 7))
+>p3 : Symbol(p3, Decl(tsxReactEmit2.tsx, 7, 11))
+
+var spreads1 = <div {...p1}>{p2}</div>;
+>spreads1 : Symbol(spreads1, Decl(tsxReactEmit2.tsx, 8, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit2.tsx, 1, 22))
+
+var spreads2 = <div {...p1}>{p2}</div>;
+>spreads2 : Symbol(spreads2, Decl(tsxReactEmit2.tsx, 9, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit2.tsx, 1, 22))
+
+var spreads3 = <div x={p3} {...p1}>{p2}</div>;
+>spreads3 : Symbol(spreads3, Decl(tsxReactEmit2.tsx, 10, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit2.tsx, 1, 22))
+>x : Symbol(unknown)
+
+var spreads4 = <div {...p1} x={p3} >{p2}</div>;
+>spreads4 : Symbol(spreads4, Decl(tsxReactEmit2.tsx, 11, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit2.tsx, 1, 22))
+>x : Symbol(unknown)
+
+var spreads5 = <div x={p2} {...p1} y={p3}>{p2}</div>;
+>spreads5 : Symbol(spreads5, Decl(tsxReactEmit2.tsx, 12, 3))
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmit2.tsx, 1, 22))
+>x : Symbol(unknown)
+>y : Symbol(unknown)
+
diff --git a/tests/baselines/reference/tsxReactEmit2.types b/tests/baselines/reference/tsxReactEmit2.types
new file mode 100644
index 00000000000..9f8d6e494d0
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit2.types
@@ -0,0 +1,68 @@
+=== tests/cases/conformance/jsx/tsxReactEmit2.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface IntrinsicElements {
+>IntrinsicElements : IntrinsicElements
+
+		[s: string]: any;
+>s : string
+	}
+}
+
+var p1, p2, p3;
+>p1 : any
+>p2 : any
+>p3 : any
+
+var spreads1 = <div {...p1}>{p2}</div>;
+>spreads1 : JSX.Element
+><div {...p1}>{p2}</div> : JSX.Element
+>div : any
+>p1 : any
+>p2 : any
+>div : any
+
+var spreads2 = <div {...p1}>{p2}</div>;
+>spreads2 : JSX.Element
+><div {...p1}>{p2}</div> : JSX.Element
+>div : any
+>p1 : any
+>p2 : any
+>div : any
+
+var spreads3 = <div x={p3} {...p1}>{p2}</div>;
+>spreads3 : JSX.Element
+><div x={p3} {...p1}>{p2}</div> : JSX.Element
+>div : any
+>x : any
+>p3 : any
+>p1 : any
+>p2 : any
+>div : any
+
+var spreads4 = <div {...p1} x={p3} >{p2}</div>;
+>spreads4 : JSX.Element
+><div {...p1} x={p3} >{p2}</div> : JSX.Element
+>div : any
+>p1 : any
+>x : any
+>p3 : any
+>p2 : any
+>div : any
+
+var spreads5 = <div x={p2} {...p1} y={p3}>{p2}</div>;
+>spreads5 : JSX.Element
+><div x={p2} {...p1} y={p3}>{p2}</div> : JSX.Element
+>div : any
+>x : any
+>p2 : any
+>p1 : any
+>y : any
+>p3 : any
+>p2 : any
+>div : any
+
diff --git a/tests/baselines/reference/tsxReactEmit3.js b/tests/baselines/reference/tsxReactEmit3.js
new file mode 100644
index 00000000000..9885effa48f
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit3.js
@@ -0,0 +1,10 @@
+//// [tsxReactEmit3.tsx]
+
+declare module JSX { interface Element { } }
+
+declare var Foo, Bar, baz;
+
+<Foo> <Bar> q </Bar> <Bar/>   s <Bar/><Bar/></Foo>;
+
+//// [tsxReactEmit3.js]
+React.createElement(Foo, null, " ", React.createElement(Bar, null, " q "), " ", React.createElement(Bar, null), "   s ", React.createElement(Bar, null), React.createElement(Bar, null));
diff --git a/tests/baselines/reference/tsxReactEmit3.symbols b/tests/baselines/reference/tsxReactEmit3.symbols
new file mode 100644
index 00000000000..8ef0ccab241
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit3.symbols
@@ -0,0 +1,18 @@
+=== tests/cases/conformance/jsx/tsxReactEmit3.tsx ===
+
+declare module JSX { interface Element { } }
+>JSX : Symbol(JSX, Decl(tsxReactEmit3.tsx, 0, 0))
+>Element : Symbol(Element, Decl(tsxReactEmit3.tsx, 1, 20))
+
+declare var Foo, Bar, baz;
+>Foo : Symbol(Foo, Decl(tsxReactEmit3.tsx, 3, 11))
+>Bar : Symbol(Bar, Decl(tsxReactEmit3.tsx, 3, 16))
+>baz : Symbol(baz, Decl(tsxReactEmit3.tsx, 3, 21))
+
+<Foo> <Bar> q </Bar> <Bar/>   s <Bar/><Bar/></Foo>;
+>Foo : Symbol(Foo, Decl(tsxReactEmit3.tsx, 3, 11))
+>Bar : Symbol(Bar, Decl(tsxReactEmit3.tsx, 3, 16))
+>Bar : Symbol(Bar, Decl(tsxReactEmit3.tsx, 3, 16))
+>Bar : Symbol(Bar, Decl(tsxReactEmit3.tsx, 3, 16))
+>Bar : Symbol(Bar, Decl(tsxReactEmit3.tsx, 3, 16))
+
diff --git a/tests/baselines/reference/tsxReactEmit3.types b/tests/baselines/reference/tsxReactEmit3.types
new file mode 100644
index 00000000000..9e5d9fece56
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit3.types
@@ -0,0 +1,25 @@
+=== tests/cases/conformance/jsx/tsxReactEmit3.tsx ===
+
+declare module JSX { interface Element { } }
+>JSX : any
+>Element : Element
+
+declare var Foo, Bar, baz;
+>Foo : any
+>Bar : any
+>baz : any
+
+<Foo> <Bar> q </Bar> <Bar/>   s <Bar/><Bar/></Foo>;
+><Foo> <Bar> q </Bar> <Bar/>   s <Bar/><Bar/></Foo> : JSX.Element
+>Foo : any
+><Bar> q </Bar> : JSX.Element
+>Bar : any
+>Bar : any
+><Bar/> : JSX.Element
+>Bar : any
+><Bar/> : JSX.Element
+>Bar : any
+><Bar/> : JSX.Element
+>Bar : any
+>Foo : any
+
diff --git a/tests/baselines/reference/tsxReactEmit4.errors.txt b/tests/baselines/reference/tsxReactEmit4.errors.txt
new file mode 100644
index 00000000000..82cacd39e28
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit4.errors.txt
@@ -0,0 +1,20 @@
+tests/cases/conformance/jsx/tsxReactEmit4.tsx(11,5): error TS2304: Cannot find name 'blah'.
+
+
+==== tests/cases/conformance/jsx/tsxReactEmit4.tsx (1 errors) ====
+    declare module JSX {
+    	interface Element { }
+    	interface IntrinsicElements {
+    		[s: string]: any;
+    	}
+    }
+    
+    var p;
+    var openClosed1 = <div>
+    
+       {blah}
+        ~~~~
+!!! error TS2304: Cannot find name 'blah'.
+    
+    </div>;
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxReactEmit4.js b/tests/baselines/reference/tsxReactEmit4.js
new file mode 100644
index 00000000000..b162b17ad7f
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmit4.js
@@ -0,0 +1,19 @@
+//// [tsxReactEmit4.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		[s: string]: any;
+	}
+}
+
+var p;
+var openClosed1 = <div>
+
+   {blah}
+
+</div>;
+
+
+//// [tsxReactEmit4.js]
+var p;
+var openClosed1 = React.createElement("div", null, blah);
diff --git a/tests/baselines/reference/tsxReactEmitWhitespace.js b/tests/baselines/reference/tsxReactEmitWhitespace.js
new file mode 100644
index 00000000000..69bceb7a0e9
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmitWhitespace.js
@@ -0,0 +1,75 @@
+//// [tsxReactEmitWhitespace.tsx]
+declare module JSX {
+	interface Element { }
+	interface IntrinsicElements {
+		[s: string]: any;
+	}
+}
+
+// THIS FILE HAS TEST-SIGNIFICANT LEADING/TRAILING
+// WHITESPACE, DO NOT RUN 'FORMAT DOCUMENT' ON IT
+
+var p = 0;
+// Emit "   "
+<div>   </div>;
+// Emit "  ", p, "   "
+<div>  {p}    </div>;
+// Emit only p
+<div>  
+      {p}    
+      </div>;
+
+// Emit only p
+<div>
+  {p}
+    </div>;
+
+// Emit "  3"
+<div>  3  
+  </div>;
+
+// Emit "  3  "
+<div>  3  </div>;
+
+// Emit "3"
+<div>   
+   3    
+   </div>;
+
+// Emit no args
+<div>   
+   </div>;
+
+// Emit "foo" + ' ' + "bar"
+<div>  
+
+   foo
+
+ bar   
+
+  </div>;
+
+
+
+//// [tsxReactEmitWhitespace.js]
+// THIS FILE HAS TEST-SIGNIFICANT LEADING/TRAILING
+// WHITESPACE, DO NOT RUN 'FORMAT DOCUMENT' ON IT
+var p = 0;
+// Emit "   "
+React.createElement("div", null, "   ");
+// Emit "  ", p, "   "
+React.createElement("div", null, "  ", p, "    ");
+// Emit only p
+React.createElement("div", null, p);
+// Emit only p
+React.createElement("div", null, p);
+// Emit "  3"
+React.createElement("div", null, "  3");
+// Emit "  3  "
+React.createElement("div", null, "  3  ");
+// Emit "3"
+React.createElement("div", null, "3");
+// Emit no args
+React.createElement("div", null);
+// Emit "foo" + ' ' + "bar"
+React.createElement("div", null, "foo" + ' ' + "bar");
diff --git a/tests/baselines/reference/tsxReactEmitWhitespace.symbols b/tests/baselines/reference/tsxReactEmitWhitespace.symbols
new file mode 100644
index 00000000000..afbb6944981
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmitWhitespace.symbols
@@ -0,0 +1,77 @@
+=== tests/cases/conformance/jsx/tsxReactEmitWhitespace.tsx ===
+declare module JSX {
+>JSX : Symbol(JSX, Decl(tsxReactEmitWhitespace.tsx, 0, 0))
+
+	interface Element { }
+>Element : Symbol(Element, Decl(tsxReactEmitWhitespace.tsx, 0, 20))
+
+	interface IntrinsicElements {
+>IntrinsicElements : Symbol(IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+		[s: string]: any;
+>s : Symbol(s, Decl(tsxReactEmitWhitespace.tsx, 3, 3))
+	}
+}
+
+// THIS FILE HAS TEST-SIGNIFICANT LEADING/TRAILING
+// WHITESPACE, DO NOT RUN 'FORMAT DOCUMENT' ON IT
+
+var p = 0;
+>p : Symbol(p, Decl(tsxReactEmitWhitespace.tsx, 10, 3))
+
+// Emit "   "
+<div>   </div>;
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+// Emit "  ", p, "   "
+<div>  {p}    </div>;
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+// Emit only p
+<div>  
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+      {p}    
+      </div>;
+
+// Emit only p
+<div>
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+  {p}
+    </div>;
+
+// Emit "  3"
+<div>  3  
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+  </div>;
+
+// Emit "  3  "
+<div>  3  </div>;
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+// Emit "3"
+<div>   
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+   3    
+   </div>;
+
+// Emit no args
+<div>   
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+   </div>;
+
+// Emit "foo" + ' ' + "bar"
+<div>  
+>div : Symbol(JSX.IntrinsicElements, Decl(tsxReactEmitWhitespace.tsx, 1, 22))
+
+   foo
+
+ bar   
+
+  </div>;
+
+
diff --git a/tests/baselines/reference/tsxReactEmitWhitespace.types b/tests/baselines/reference/tsxReactEmitWhitespace.types
new file mode 100644
index 00000000000..e0e3639fa9b
--- /dev/null
+++ b/tests/baselines/reference/tsxReactEmitWhitespace.types
@@ -0,0 +1,101 @@
+=== tests/cases/conformance/jsx/tsxReactEmitWhitespace.tsx ===
+declare module JSX {
+>JSX : any
+
+	interface Element { }
+>Element : Element
+
+	interface IntrinsicElements {
+>IntrinsicElements : IntrinsicElements
+
+		[s: string]: any;
+>s : string
+	}
+}
+
+// THIS FILE HAS TEST-SIGNIFICANT LEADING/TRAILING
+// WHITESPACE, DO NOT RUN 'FORMAT DOCUMENT' ON IT
+
+var p = 0;
+>p : number
+>0 : number
+
+// Emit "   "
+<div>   </div>;
+><div>   </div> : JSX.Element
+>div : any
+>div : any
+
+// Emit "  ", p, "   "
+<div>  {p}    </div>;
+><div>  {p}    </div> : JSX.Element
+>div : any
+>p : any
+>div : any
+
+// Emit only p
+<div>  
+><div>        {p}          </div> : JSX.Element
+>div : any
+
+      {p}    
+>p : any
+
+      </div>;
+>div : any
+
+// Emit only p
+<div>
+><div>  {p}    </div> : JSX.Element
+>div : any
+
+  {p}
+>p : any
+
+    </div>;
+>div : any
+
+// Emit "  3"
+<div>  3  
+><div>  3    </div> : JSX.Element
+>div : any
+
+  </div>;
+>div : any
+
+// Emit "  3  "
+<div>  3  </div>;
+><div>  3  </div> : JSX.Element
+>div : any
+>div : any
+
+// Emit "3"
+<div>   
+><div>      3       </div> : JSX.Element
+>div : any
+
+   3    
+   </div>;
+>div : any
+
+// Emit no args
+<div>   
+><div>      </div> : JSX.Element
+>div : any
+
+   </div>;
+>div : any
+
+// Emit "foo" + ' ' + "bar"
+<div>  
+><div>     foo bar     </div> : JSX.Element
+>div : any
+
+   foo
+
+ bar   
+
+  </div>;
+>div : any
+
+
diff --git a/tests/baselines/reference/tsxTypeErrors.errors.txt b/tests/baselines/reference/tsxTypeErrors.errors.txt
new file mode 100644
index 00000000000..42959efe6fe
--- /dev/null
+++ b/tests/baselines/reference/tsxTypeErrors.errors.txt
@@ -0,0 +1,55 @@
+tests/cases/conformance/jsx/tsxTypeErrors.tsx(3,10): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/tsxTypeErrors.tsx(6,10): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/tsxTypeErrors.tsx(10,10): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/tsxTypeErrors.tsx(13,10): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/tsxTypeErrors.tsx(26,10): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+tests/cases/conformance/jsx/tsxTypeErrors.tsx(32,10): error TS2602: The global type 'JSX.Element' must exist when using JSX.
+
+
+==== tests/cases/conformance/jsx/tsxTypeErrors.tsx (6 errors) ====
+    
+    // A built-in element (OK)
+    var a1 = <div id="foo" />;
+             ~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    // A built-in element with a mistyped property (error)
+    var a2 = <img srce="foo.jpg" />
+             ~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    // A built-in element with a badly-typed attribute value (error)
+    var thing = { oops: 100 };
+    var a3 = <div id={thing} />
+             ~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    // Mistyped html name (error)
+    var e1 = <imag src="bar.jpg" />
+             ~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    // A custom type
+    class MyClass {
+      props: {
+        pt?: { x: number; y: number; };
+    	name?: string;
+    	reqd: boolean;
+      }
+    }
+    
+    // Let's use it
+    // TODO: Error on missing 'reqd'
+    var b1 = <MyClass reqd={true} />; 
+             ~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    // Mistyped attribute member
+    // sample.tsx(23,22): error TS2322: Type '{ x: number; y: string; }' is not assignable to type '{ x: number; y: number; }'.
+    //  Types of property 'y' are incompatible.
+    //    Type 'string' is not assignable to type 'number'.
+    var b2 = <MyClass pt={{x: 4, y: 'oops'}} />;
+             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2602: The global type 'JSX.Element' must exist when using JSX.
+    
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/tsxTypeErrors.js b/tests/baselines/reference/tsxTypeErrors.js
new file mode 100644
index 00000000000..f195a459747
--- /dev/null
+++ b/tests/baselines/reference/tsxTypeErrors.js
@@ -0,0 +1,60 @@
+//// [tsxTypeErrors.tsx]
+
+// A built-in element (OK)
+var a1 = <div id="foo" />;
+
+// A built-in element with a mistyped property (error)
+var a2 = <img srce="foo.jpg" />
+
+// A built-in element with a badly-typed attribute value (error)
+var thing = { oops: 100 };
+var a3 = <div id={thing} />
+
+// Mistyped html name (error)
+var e1 = <imag src="bar.jpg" />
+
+// A custom type
+class MyClass {
+  props: {
+    pt?: { x: number; y: number; };
+	name?: string;
+	reqd: boolean;
+  }
+}
+
+// Let's use it
+// TODO: Error on missing 'reqd'
+var b1 = <MyClass reqd={true} />; 
+
+// Mistyped attribute member
+// sample.tsx(23,22): error TS2322: Type '{ x: number; y: string; }' is not assignable to type '{ x: number; y: number; }'.
+//  Types of property 'y' are incompatible.
+//    Type 'string' is not assignable to type 'number'.
+var b2 = <MyClass pt={{x: 4, y: 'oops'}} />;
+
+
+
+//// [tsxTypeErrors.jsx]
+// A built-in element (OK)
+var a1 = <div id="foo"/>;
+// A built-in element with a mistyped property (error)
+var a2 = <img srce="foo.jpg"/>;
+// A built-in element with a badly-typed attribute value (error)
+var thing = { oops: 100 };
+var a3 = <div id={thing}/>;
+// Mistyped html name (error)
+var e1 = <imag src="bar.jpg"/>;
+// A custom type
+var MyClass = (function () {
+    function MyClass() {
+    }
+    return MyClass;
+})();
+// Let's use it
+// TODO: Error on missing 'reqd'
+var b1 = <MyClass reqd={true}/>;
+// Mistyped attribute member
+// sample.tsx(23,22): error TS2322: Type '{ x: number; y: string; }' is not assignable to type '{ x: number; y: number; }'.
+//  Types of property 'y' are incompatible.
+//    Type 'string' is not assignable to type 'number'.
+var b2 = <MyClass pt={{ x: 4, y: 'oops' }}/>;