Adds test for Generic return type with a typeguard function parameter

tinganho · tinganho · commit fef407d039d4 · 2015-05-27T17:01:36.000+08:00
diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardFunction.ts b/tests/cases/conformance/expressions/typeGuards/typeGuardFunction.ts
@@ -41,6 +41,8 @@ function isArrayOf_2<T>(of: (item) => item is T, a: any[]): a is T[] {
     return true;
 }
 
+declare function getObjectOfType<T>(of: (item: any) => item is T, obj: any[]): T;
+
 function foo(): Foo {
     return <Foo>a;
 }
@@ -133,6 +135,9 @@ if (isBaz(b)) {
     a.baz(); // Error
 }
 
+// Error:  Type Foo is not assignable to string
+var f: string = getObjectOfType(isFoo, [1, 2]);
+
 // The parameter index and argument index for the type guard target is not matching.
 if (hasMultipleParameters(0, a)) {
     a.foo(); // Error

Original file line number	Diff line number	Diff line change
`@@ -41,6 +41,8 @@ function isArrayOf_2<T>(of: (item) => item is T, a: any[]): a is T[] {`
`41`	`41`	`return true;`
`42`	`42`	`}`
`43`	`43`
	`44`	`+declare function getObjectOfType<T>(of: (item: any) => item is T, obj: any[]): T;`
	`45`	`+`
`44`	`46`	`function foo(): Foo {`
`45`	`47`	`return <Foo>a;`
`46`	`48`	`}`
`@@ -133,6 +135,9 @@ if (isBaz(b)) {`
`133`	`135`	`a.baz(); // Error`
`134`	`136`	`}`
`135`	`137`
	`138`	`+// Error: Type Foo is not assignable to string`
	`139`	`+var f: string = getObjectOfType(isFoo, [1, 2]);`
	`140`	`+`
`136`	`141`	`// The parameter index and argument index for the type guard target is not matching.`
`137`	`142`	`if (hasMultipleParameters(0, a)) {`
`138`	`143`	`a.foo(); // Error`