diff --git a/tests/baselines/reference/overloadsWithConstraints.js b/tests/baselines/reference/overloadsWithConstraints.js
new file mode 100644
index 0000000000..f9cc87b226
--- /dev/null
+++ b/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("");
diff --git a/tests/baselines/reference/overloadsWithConstraints.types b/tests/baselines/reference/overloadsWithConstraints.types
new file mode 100644
index 0000000000..1493a0e1a2
--- /dev/null
+++ b/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; }
+
diff --git a/tests/cases/compiler/overloadsWithConstraints.ts b/tests/cases/compiler/overloadsWithConstraints.ts
new file mode 100644
index 0000000000..7cf5b2b70a
--- /dev/null
+++ b/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>("");
\ No newline at end of file