From 07d259593a78815b8fdc00c6c2db4f5ffa602cfb Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Wed, 17 Apr 2019 12:37:01 -0700
Subject: [PATCH] Add regression test

---
 .../conformance/types/keyof/keyofAndIndexedAccess2.ts  | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts b/tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts
index 2d96e20f12..2d63e5681b 100644
--- a/tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts
+++ b/tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts
@@ -110,3 +110,13 @@ interface Type {
 function get123<K extends keyof Type>(): Type[K] {
     return 123;  // Error
 }
+
+// Repros from #30938
+
+function fn<T extends {elements: Array<string>} | {elements: Array<number>}>(param: T, cb: (element: T['elements'][number]) => void) {
+    cb(param.elements[0]);
+}
+
+function fn2<T extends Array<string>>(param: T, cb: (element: T[number]) => void) {
+    cb(param[0]);
+}