This commit is contained in:
Wesley Wigham 2016-01-03 06:10:47 -05:00 committed by Daniel Rosenwasser
parent 02df49994b
commit 22979db64c

View file

@ -0,0 +1,14 @@
declare function isString1(a: number, b: Object): b is string;
declare function isString2(a: Object): a is string;
switch (isString1(0, "")) {
case isString2(""):
default:
}
var x = isString1(0, "") === isString2("");
function isString3(a: number, b: number, c: Object): c is string {
return isString1(0, c);
}