Skip to content

Commit 8570219

Browse files
ahejlsbergahejlsberg
committed
Add regression test
1 parent 2456744 commit 8570219

File tree

4 files changed

+183
-0
lines changed

4 files changed

+183
-0
lines changed

‎tests/baselines/reference/typePredicateInLoop.js

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
//// [typePredicateInLoop.ts]
2+
// Repro from #12101
3+
4+
interface Type {
5+
type: number;
6+
}
7+
8+
interface TypeExt extends Type {
9+
arr: Type[];
10+
}
11+
12+
const guard = (arg: Type): arg is TypeExt => arg.type === 1;
13+
const otherFunc = (arg1: Type, arg2: TypeExt): void => {};
14+
15+
export function y(arg: Type): void {
16+
if (guard(arg)) {
17+
for (const ITEM of arg.arr) {
18+
if (otherFunc(ITEM, arg)) {
19+
}
20+
}
21+
}
22+
}
23+
24+
//// [typePredicateInLoop.js]
25+
// Repro from #12101
26+
"use strict";
27+
var guard = function (arg) { return arg.type === 1; };
28+
var otherFunc = function (arg1, arg2) { };
29+
function y(arg) {
30+
if (guard(arg)) {
31+
for (var _i = 0, _a = arg.arr; _i < _a.length; _i++) {
32+
var ITEM = _a[_i];
33+
if (otherFunc(ITEM, arg)) {
34+
}
35+
}
36+
}
37+
}
38+
exports.y = y;

‎tests/baselines/reference/typePredicateInLoop.symbols

Lines changed: 59 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,59 @@
1+
=== tests/cases/compiler/typePredicateInLoop.ts ===
2+
// Repro from #12101
3+
4+
interface Type {
5+
>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
6+
7+
type: number;
8+
>type : Symbol(Type.type, Decl(typePredicateInLoop.ts, 2, 16))
9+
}
10+
11+
interface TypeExt extends Type {
12+
>TypeExt : Symbol(TypeExt, Decl(typePredicateInLoop.ts, 4, 1))
13+
>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
14+
15+
arr: Type[];
16+
>arr : Symbol(TypeExt.arr, Decl(typePredicateInLoop.ts, 6, 32))
17+
>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
18+
}
19+
20+
const guard = (arg: Type): arg is TypeExt => arg.type === 1;
21+
>guard : Symbol(guard, Decl(typePredicateInLoop.ts, 10, 5))
22+
>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 10, 15))
23+
>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
24+
>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 10, 15))
25+
>TypeExt : Symbol(TypeExt, Decl(typePredicateInLoop.ts, 4, 1))
26+
>arg.type : Symbol(Type.type, Decl(typePredicateInLoop.ts, 2, 16))
27+
>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 10, 15))
28+
>type : Symbol(Type.type, Decl(typePredicateInLoop.ts, 2, 16))
29+
30+
const otherFunc = (arg1: Type, arg2: TypeExt): void => {};
31+
>otherFunc : Symbol(otherFunc, Decl(typePredicateInLoop.ts, 11, 5))
32+
>arg1 : Symbol(arg1, Decl(typePredicateInLoop.ts, 11, 19))
33+
>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
34+
>arg2 : Symbol(arg2, Decl(typePredicateInLoop.ts, 11, 30))
35+
>TypeExt : Symbol(TypeExt, Decl(typePredicateInLoop.ts, 4, 1))
36+
37+
export function y(arg: Type): void {
38+
>y : Symbol(y, Decl(typePredicateInLoop.ts, 11, 58))
39+
>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 13, 18))
40+
>Type : Symbol(Type, Decl(typePredicateInLoop.ts, 0, 0))
41+
42+
if (guard(arg)) {
43+
>guard : Symbol(guard, Decl(typePredicateInLoop.ts, 10, 5))
44+
>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 13, 18))
45+
46+
for (const ITEM of arg.arr) {
47+
>ITEM : Symbol(ITEM, Decl(typePredicateInLoop.ts, 15, 14))
48+
>arg.arr : Symbol(TypeExt.arr, Decl(typePredicateInLoop.ts, 6, 32))
49+
>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 13, 18))
50+
>arr : Symbol(TypeExt.arr, Decl(typePredicateInLoop.ts, 6, 32))
51+
52+
if (otherFunc(ITEM, arg)) {
53+
>otherFunc : Symbol(otherFunc, Decl(typePredicateInLoop.ts, 11, 5))
54+
>ITEM : Symbol(ITEM, Decl(typePredicateInLoop.ts, 15, 14))
55+
>arg : Symbol(arg, Decl(typePredicateInLoop.ts, 13, 18))
56+
}
57+
}
58+
}
59+
}

‎tests/baselines/reference/typePredicateInLoop.types

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
=== tests/cases/compiler/typePredicateInLoop.ts ===
2+
// Repro from #12101
3+
4+
interface Type {
5+
>Type : Type
6+
7+
type: number;
8+
>type : number
9+
}
10+
11+
interface TypeExt extends Type {
12+
>TypeExt : TypeExt
13+
>Type : Type
14+
15+
arr: Type[];
16+
>arr : Type[]
17+
>Type : Type
18+
}
19+
20+
const guard = (arg: Type): arg is TypeExt => arg.type === 1;
21+
>guard : (arg: Type) => arg is TypeExt
22+
>(arg: Type): arg is TypeExt => arg.type === 1 : (arg: Type) => arg is TypeExt
23+
>arg : Type
24+
>Type : Type
25+
>arg : any
26+
>TypeExt : TypeExt
27+
>arg.type === 1 : boolean
28+
>arg.type : number
29+
>arg : Type
30+
>type : number
31+
>1 : 1
32+
33+
const otherFunc = (arg1: Type, arg2: TypeExt): void => {};
34+
>otherFunc : (arg1: Type, arg2: TypeExt) => void
35+
>(arg1: Type, arg2: TypeExt): void => {} : (arg1: Type, arg2: TypeExt) => void
36+
>arg1 : Type
37+
>Type : Type
38+
>arg2 : TypeExt
39+
>TypeExt : TypeExt
40+
41+
export function y(arg: Type): void {
42+
>y : (arg: Type) => void
43+
>arg : Type
44+
>Type : Type
45+
46+
if (guard(arg)) {
47+
>guard(arg) : boolean
48+
>guard : (arg: Type) => arg is TypeExt
49+
>arg : Type
50+
51+
for (const ITEM of arg.arr) {
52+
>ITEM : Type
53+
>arg.arr : Type[]
54+
>arg : TypeExt
55+
>arr : Type[]
56+
57+
if (otherFunc(ITEM, arg)) {
58+
>otherFunc(ITEM, arg) : void
59+
>otherFunc : (arg1: Type, arg2: TypeExt) => void
60+
>ITEM : Type
61+
>arg : TypeExt
62+
}
63+
}
64+
}
65+
}

‎tests/cases/compiler/typePredicateInLoop.ts

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
// Repro from #12101
2+
3+
interface Type {
4+
type: number;
5+
}
6+
7+
interface TypeExt extends Type {
8+
arr: Type[];
9+
}
10+
11+
const guard = (arg: Type): arg is TypeExt => arg.type === 1;
12+
const otherFunc = (arg1: Type, arg2: TypeExt): void => {};
13+
14+
export function y(arg: Type): void {
15+
if (guard(arg)) {
16+
for (const ITEM of arg.arr) {
17+
if (otherFunc(ITEM, arg)) {
18+
}
19+
}
20+
}
21+
}

0 commit comments

Comments
 (0)