Add test for bug #807

Author: JsonFreeman

tests/baselines/reference/overloadsWithConstraints.js

@@ -0,0 +1,8 @@
+//// [overloadsWithConstraints.ts]
+declare function f<T extends Number>(x: T): T;
+declare function f<T extends String>(x: T): T
+
+var v = f<string>("");
+
+//// [overloadsWithConstraints.js]
+var v = f("");

tests/baselines/reference/overloadsWithConstraints.types

@@ -0,0 +1,22 @@
+=== tests/cases/compiler/overloadsWithConstraints.ts ===
+declare function f<T extends Number>(x: T): T;
+>f : { <T extends Number>(x: T): T; <T extends String>(x: T): T; }
+>T : T
+>Number : Number
+>x : T
+>T : T
+>T : T
+
+declare function f<T extends String>(x: T): T
+>f : { <T extends Number>(x: T): T; <T extends String>(x: T): T; }
+>T : T
+>String : String
+>x : T
+>T : T
+>T : T
+
+var v = f<string>("");
+>v : string
+>f<string>("") : string
+>f : { <T extends Number>(x: T): T; <T extends String>(x: T): T; }
+

tests/cases/compiler/overloadsWithConstraints.ts

@@ -0,0 +1,4 @@
+declare function f<T extends Number>(x: T): T;
+declare function f<T extends String>(x: T): T
+
+var v = f<string>("");