diff --git a/tests/baselines/reference/emptyTuplesTypeAssertion01.js b/tests/baselines/reference/emptyTuplesTypeAssertion01.js
new file mode 100644
index 00000000000..b02caf3ceaf
--- /dev/null
+++ b/tests/baselines/reference/emptyTuplesTypeAssertion01.js
@@ -0,0 +1,27 @@
+//// [emptyTuplesTypeAssertion01.ts]
+
+let x = <[]>[];
+let y = x[0];
+
+//// [emptyTuplesTypeAssertion01.js]
+var x = [];
+var y = x[0];
+
+
+//// [emptyTuplesTypeAssertion01.d.ts]
+declare let x: [];
+declare let y: never;
+
+
+//// [DtsFileErrors]
+
+
+tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.d.ts(1,16): error TS1122: A tuple type element list cannot be empty.
+
+
+==== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.d.ts (1 errors) ====
+    declare let x: [];
+                   ~~
+!!! error TS1122: A tuple type element list cannot be empty.
+    declare let y: never;
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/emptyTuplesTypeAssertion01.symbols b/tests/baselines/reference/emptyTuplesTypeAssertion01.symbols
new file mode 100644
index 00000000000..d6f3cd4e9db
--- /dev/null
+++ b/tests/baselines/reference/emptyTuplesTypeAssertion01.symbols
@@ -0,0 +1,9 @@
+=== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts ===
+
+let x = <[]>[];
+>x : Symbol(x, Decl(emptyTuplesTypeAssertion01.ts, 1, 3))
+
+let y = x[0];
+>y : Symbol(y, Decl(emptyTuplesTypeAssertion01.ts, 2, 3))
+>x : Symbol(x, Decl(emptyTuplesTypeAssertion01.ts, 1, 3))
+
diff --git a/tests/baselines/reference/emptyTuplesTypeAssertion01.types b/tests/baselines/reference/emptyTuplesTypeAssertion01.types
new file mode 100644
index 00000000000..e0ef78c86e7
--- /dev/null
+++ b/tests/baselines/reference/emptyTuplesTypeAssertion01.types
@@ -0,0 +1,13 @@
+=== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts ===
+
+let x = <[]>[];
+>x : []
+><[]>[] : []
+>[] : undefined[]
+
+let y = x[0];
+>y : never
+>x[0] : never
+>x : []
+>0 : number
+
diff --git a/tests/baselines/reference/emptyTuplesTypeAssertion02.js b/tests/baselines/reference/emptyTuplesTypeAssertion02.js
new file mode 100644
index 00000000000..0a6c3e5a984
--- /dev/null
+++ b/tests/baselines/reference/emptyTuplesTypeAssertion02.js
@@ -0,0 +1,27 @@
+//// [emptyTuplesTypeAssertion02.ts]
+
+let x = [] as [];
+let y = x[0];
+
+//// [emptyTuplesTypeAssertion02.js]
+var x = [];
+var y = x[0];
+
+
+//// [emptyTuplesTypeAssertion02.d.ts]
+declare let x: [];
+declare let y: never;
+
+
+//// [DtsFileErrors]
+
+
+tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.d.ts(1,16): error TS1122: A tuple type element list cannot be empty.
+
+
+==== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.d.ts (1 errors) ====
+    declare let x: [];
+                   ~~
+!!! error TS1122: A tuple type element list cannot be empty.
+    declare let y: never;
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/emptyTuplesTypeAssertion02.symbols b/tests/baselines/reference/emptyTuplesTypeAssertion02.symbols
new file mode 100644
index 00000000000..a5eeec95a32
--- /dev/null
+++ b/tests/baselines/reference/emptyTuplesTypeAssertion02.symbols
@@ -0,0 +1,9 @@
+=== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts ===
+
+let x = [] as [];
+>x : Symbol(x, Decl(emptyTuplesTypeAssertion02.ts, 1, 3))
+
+let y = x[0];
+>y : Symbol(y, Decl(emptyTuplesTypeAssertion02.ts, 2, 3))
+>x : Symbol(x, Decl(emptyTuplesTypeAssertion02.ts, 1, 3))
+
diff --git a/tests/baselines/reference/emptyTuplesTypeAssertion02.types b/tests/baselines/reference/emptyTuplesTypeAssertion02.types
new file mode 100644
index 00000000000..2dc7e823516
--- /dev/null
+++ b/tests/baselines/reference/emptyTuplesTypeAssertion02.types
@@ -0,0 +1,13 @@
+=== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts ===
+
+let x = [] as [];
+>x : []
+>[] as [] : []
+>[] : undefined[]
+
+let y = x[0];
+>y : never
+>x[0] : never
+>x : []
+>0 : number
+