1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
//// [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]
"use strict";
// Repro from #12101
Object.defineProperty(exports, "__esModule", { value: true });
exports.y = void 0;
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;
|
