diff --git a/tests/baselines/reference/typePredicateInLoop.js b/tests/baselines/reference/typePredicateInLoop.js
new file mode 100644
index 00000000000..0a1e621cb50
--- /dev/null
+++ b/tests/baselines/reference/typePredicateInLoop.js
@@ -0,0 +1,38 @@
+//// [typePredicateInLoop.ts]
+// Repro from #12101
+
+interface Type {
+  type: number;
+}
+
+interface TypeExt extends Type {
+  arr: Type[];
+}
+
+const guard = (arg: Type): arg is TypeExt => arg.type === 1;
+const otherFunc = (arg1: Type, arg2: TypeExt): void => {};
+
+export function y(arg: Type): void {
+  if (guard(arg)) {
+    for (const ITEM of arg.arr) {
+      if (otherFunc(ITEM, arg)) {
+      }
+    }
+  }
+}
+
+//// [typePredicateInLoop.js]
+// Repro from #12101
+"use strict";
+var guard = function (arg) { return arg.type === 1; };
+var otherFunc = function (arg1, arg2) { };
+function y(arg) {
+    if (guard(arg)) {
+        for (var _i = 0, _a = arg.arr; _i < _a.length; _i++) {
+            var ITEM = _a[_i];
+            if (otherFunc(ITEM, arg)) {
+            }
+        }
+    }
+}
+exports.y = y;
diff --git a/tests/baselines/reference/typePredicateInLoop.symbols b/tests/baselines/reference/typePredicateInLoop.symbols
new file mode 100644
index 00000000000..1cc57b36c6d
--- /dev/null
+++ b/tests/baselines/reference/typePredicateInLoop.symbols
@@ -0,0 +1,59 @@
+=== tests/cases/compiler/typePredicateInLoop.ts ===
+// Repro from #12101
+
+interface Type {
+>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
+
+  type: number;
+>type : Symbol(Type.type, Decl(typePredicateInLoop.ts, 2, 16))
+}
+
+interface TypeExt extends Type {
+>TypeExt : Symbol(TypeExt, Decl(typePredicateInLoop.ts, 4, 1))
+>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
+
+  arr: Type[];
+>arr : Symbol(TypeExt.arr, Decl(typePredicateInLoop.ts, 6, 32))
+>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
+}
+
+const guard = (arg: Type): arg is TypeExt => arg.type === 1;
+>guard : Symbol(guard, Decl(typePredicateInLoop.ts, 10, 5))
+>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 10, 15))
+>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
+>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 10, 15))
+>TypeExt : Symbol(TypeExt, Decl(typePredicateInLoop.ts, 4, 1))
+>arg.type : Symbol(Type.type, Decl(typePredicateInLoop.ts, 2, 16))
+>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 10, 15))
+>type : Symbol(Type.type, Decl(typePredicateInLoop.ts, 2, 16))
+
+const otherFunc = (arg1: Type, arg2: TypeExt): void => {};
+>otherFunc : Symbol(otherFunc, Decl(typePredicateInLoop.ts, 11, 5))
+>arg1 : Symbol(arg1, Decl(typePredicateInLoop.ts, 11, 19))
+>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
+>arg2 : Symbol(arg2, Decl(typePredicateInLoop.ts, 11, 30))
+>TypeExt : Symbol(TypeExt, Decl(typePredicateInLoop.ts, 4, 1))
+
+export function y(arg: Type): void {
+>y : Symbol(y, Decl(typePredicateInLoop.ts, 11, 58))
+>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 13, 18))
+>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
+
+  if (guard(arg)) {
+>guard : Symbol(guard, Decl(typePredicateInLoop.ts, 10, 5))
+>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 13, 18))
+
+    for (const ITEM of arg.arr) {
+>ITEM : Symbol(ITEM, Decl(typePredicateInLoop.ts, 15, 14))
+>arg.arr : Symbol(TypeExt.arr, Decl(typePredicateInLoop.ts, 6, 32))
+>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 13, 18))
+>arr : Symbol(TypeExt.arr, Decl(typePredicateInLoop.ts, 6, 32))
+
+      if (otherFunc(ITEM, arg)) {
+>otherFunc : Symbol(otherFunc, Decl(typePredicateInLoop.ts, 11, 5))
+>ITEM : Symbol(ITEM, Decl(typePredicateInLoop.ts, 15, 14))
+>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 13, 18))
+      }
+    }
+  }
+}
diff --git a/tests/baselines/reference/typePredicateInLoop.types b/tests/baselines/reference/typePredicateInLoop.types
new file mode 100644
index 00000000000..7ffe887e91d
--- /dev/null
+++ b/tests/baselines/reference/typePredicateInLoop.types
@@ -0,0 +1,65 @@
+=== tests/cases/compiler/typePredicateInLoop.ts ===
+// Repro from #12101
+
+interface Type {
+>Type : Type
+
+  type: number;
+>type : number
+}
+
+interface TypeExt extends Type {
+>TypeExt : TypeExt
+>Type : Type
+
+  arr: Type[];
+>arr : Type[]
+>Type : Type
+}
+
+const guard = (arg: Type): arg is TypeExt => arg.type === 1;
+>guard : (arg: Type) => arg is TypeExt
+>(arg: Type): arg is TypeExt => arg.type === 1 : (arg: Type) => arg is TypeExt
+>arg : Type
+>Type : Type
+>arg : any
+>TypeExt : TypeExt
+>arg.type === 1 : boolean
+>arg.type : number
+>arg : Type
+>type : number
+>1 : 1
+
+const otherFunc = (arg1: Type, arg2: TypeExt): void => {};
+>otherFunc : (arg1: Type, arg2: TypeExt) => void
+>(arg1: Type, arg2: TypeExt): void => {} : (arg1: Type, arg2: TypeExt) => void
+>arg1 : Type
+>Type : Type
+>arg2 : TypeExt
+>TypeExt : TypeExt
+
+export function y(arg: Type): void {
+>y : (arg: Type) => void
+>arg : Type
+>Type : Type
+
+  if (guard(arg)) {
+>guard(arg) : boolean
+>guard : (arg: Type) => arg is TypeExt
+>arg : Type
+
+    for (const ITEM of arg.arr) {
+>ITEM : Type
+>arg.arr : Type[]
+>arg : TypeExt
+>arr : Type[]
+
+      if (otherFunc(ITEM, arg)) {
+>otherFunc(ITEM, arg) : void
+>otherFunc : (arg1: Type, arg2: TypeExt) => void
+>ITEM : Type
+>arg : TypeExt
+      }
+    }
+  }
+}
diff --git a/tests/cases/compiler/typePredicateInLoop.ts b/tests/cases/compiler/typePredicateInLoop.ts
new file mode 100644
index 00000000000..4127e1e3d43
--- /dev/null
+++ b/tests/cases/compiler/typePredicateInLoop.ts
@@ -0,0 +1,21 @@
+// Repro from #12101
+
+interface Type {
+  type: number;
+}
+
+interface TypeExt extends Type {
+  arr: Type[];
+}
+
+const guard = (arg: Type): arg is TypeExt => arg.type === 1;
+const otherFunc = (arg1: Type, arg2: TypeExt): void => {};
+
+export function y(arg: Type): void {
+  if (guard(arg)) {
+    for (const ITEM of arg.arr) {
+      if (otherFunc(ITEM, arg)) {
+      }
+    }
+  }
+}
\ No newline at end of file