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 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
|
//// [typeGuardsInDoStatement.ts]
let cond: boolean;
function a(x: string | number | boolean) {
x = true;
do {
x; // boolean | string
x = undefined;
} while (typeof x === "string")
x; // number | boolean
}
function b(x: string | number | boolean) {
x = true;
do {
x; // boolean | string
if (cond) continue;
x = undefined;
} while (typeof x === "string")
x; // number | boolean
}
function c(x: string | number) {
x = "";
do {
x; // string
if (cond) break;
x = undefined;
} while (typeof x === "string")
x; // string | number
}
//// [typeGuardsInDoStatement.js]
var cond;
function a(x) {
x = true;
do {
x; // boolean | string
x = undefined;
} while (typeof x === "string");
x; // number | boolean
}
function b(x) {
x = true;
do {
x; // boolean | string
if (cond)
continue;
x = undefined;
} while (typeof x === "string");
x; // number | boolean
}
function c(x) {
x = "";
do {
x; // string
if (cond)
break;
x = undefined;
} while (typeof x === "string");
x; // string | number
}
|