diff --git a/tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts b/tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts
new file mode 100644
index 00000000000..2e1e2d42499
--- /dev/null
+++ b/tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts
@@ -0,0 +1,4 @@
+// @declaration: true
+
+let x = <[]>[];
+let y = x[0];
\ No newline at end of file
diff --git a/tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts b/tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts
new file mode 100644
index 00000000000..43f63e9ce77
--- /dev/null
+++ b/tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts
@@ -0,0 +1,4 @@
+// @declaration: true
+
+let x = [] as [];
+let y = x[0];
\ No newline at end of file