8000 Accept baselines · fleurdeswift/TypeScript@cb472f2 · GitHub
[go: up one dir, main page]

Skip to content 8000

Commit cb472f2

Browse files
committed
Accept baselines
1 parent 5d1b786 commit cb472f2

File tree

2 files changed

+61
-0
lines changed

2 files changed

+61
-0
lines changed
Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
tests/cases/conformance/expressions/typeGuards/typePredicateUnions.ts(1,43): error TS1228: A type predicate is only allowed in return type position for functions and methods.
2+
3+
4+
==== tests/cases/conformance/expressions/typeGuards/typePredicateUnions.ts (1 errors) ====
5+
function isA<A>(x: any, y: any): x is A | y is B {
6+
~~~~~~
7+
!!! error TS1228: A type predicate is only allowed in return type position for functions and methods.
8+
return false;
9+
}
10+
11+
var x: number | number[];
12+
var y: string | string[];
13+
var num: number;
14+
var nums: number[];
15+
var strOrStrs: string | string[];
16+
17+
if (isA<number>(x, y)) {
18+
num = x;
19+
strOrStrs = y;
20+
}
21+
else {
22+
nums = x;
23+
strOrStrs = y;
24+
}
Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
//// [typePredicateUnions.ts]
2+
function isA<A>(x: any, y: any): x is A | y is B {
3+
return false;
4+
}
5+
6+
var x: number | number[];
7+
var y: string | string[];
8+
var num: number;
9+
var nums: number[];
10+
var strOrStrs: string | string[];
11+
12+
if (isA<number>(x, y)) {
13+
num = x;
14+
strOrStrs = y;
15+
}
16+
else {
17+
nums = x;
18+
strOrStrs = y;
19+
}
20+
21+
//// [typePredicateUnions.js]
22+
function isA(x, y) {
23+
return false;
24+
}
25+
var x;
26+
var y;
27+
var num;
28+
var nums;
29+
var strOrStrs;
30+
if (isA(x, y)) {
31+
num = x;
32+
strOrStrs = y;
33+
}
34+
else {
35+
nums = x;
36+
strOrStrs = y;
37+
}

0 commit comments

Comments
 (0)
0