diff --git a/tests/baselines/reference/genericSignatureIdentity.js b/tests/baselines/reference/genericSignatureIdentity.js
new file mode 100644
index 0000000000..9a51a61edb
--- /dev/null
+++ b/tests/baselines/reference/genericSignatureIdentity.js
@@ -0,0 +1,32 @@
+//// [genericSignatureIdentity.ts]
+// This test is here to remind us of our current limits of type identity checking.
+// Ideally all of the below declarations would be considered different (and thus errors)
+// but they aren't because we erase type parameters to type any and don't check that
+// constraints are identical.
+
+var x: {
+    <T extends Date>(x: T): T;
+};
+
+var x: {
+    <T extends number>(x: T): T;
+};
+
+var x: {
+    <T>(x: T): T;
+};
+
+var x: {
+    <T>(x: any): any;
+};
+
+
+//// [genericSignatureIdentity.js]
+// This test is here to remind us of our current limits of type identity checking.
+// Ideally all of the below declarations would be considered different (and thus errors)
+// but they aren't because we erase type parameters to type any and don't check that
+// constraints are identical.
+var x;
+var x;
+var x;
+var x;
diff --git a/tests/baselines/reference/genericSignatureIdentity.symbols b/tests/baselines/reference/genericSignatureIdentity.symbols
new file mode 100644
index 0000000000..afd12ec266
--- /dev/null
+++ b/tests/baselines/reference/genericSignatureIdentity.symbols
@@ -0,0 +1,49 @@
+=== tests/cases/compiler/genericSignatureIdentity.ts ===
+// This test is here to remind us of our current limits of type identity checking.
+// Ideally all of the below declarations would be considered different (and thus errors)
+// but they aren't because we erase type parameters to type any and don't check that
+// constraints are identical.
+
+var x: {
+>x : Symbol(x, Decl(genericSignatureIdentity.ts, 5, 3), Decl(genericSignatureIdentity.ts, 9, 3), Decl(genericSignatureIdentity.ts, 13, 3), Decl(genericSignatureIdentity.ts, 17, 3))
+
+    <T extends Date>(x: T): T;
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 6, 5))
+>Date : Symbol(Date, Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --))
+>x : Symbol(x, Decl(genericSignatureIdentity.ts, 6, 21))
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 6, 5))
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 6, 5))
+
+};
+
+var x: {
+>x : Symbol(x, Decl(genericSignatureIdentity.ts, 5, 3), Decl(genericSignatureIdentity.ts, 9, 3), Decl(genericSignatureIdentity.ts, 13, 3), Decl(genericSignatureIdentity.ts, 17, 3))
+
+    <T extends number>(x: T): T;
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 10, 5))
+>x : Symbol(x, Decl(genericSignatureIdentity.ts, 10, 23))
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 10, 5))
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 10, 5))
+
+};
+
+var x: {
+>x : Symbol(x, Decl(genericSignatureIdentity.ts, 5, 3), Decl(genericSignatureIdentity.ts, 9, 3), Decl(genericSignatureIdentity.ts, 13, 3), Decl(genericSignatureIdentity.ts, 17, 3))
+
+    <T>(x: T): T;
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 14, 5))
+>x : Symbol(x, Decl(genericSignatureIdentity.ts, 14, 8))
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 14, 5))
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 14, 5))
+
+};
+
+var x: {
+>x : Symbol(x, Decl(genericSignatureIdentity.ts, 5, 3), Decl(genericSignatureIdentity.ts, 9, 3), Decl(genericSignatureIdentity.ts, 13, 3), Decl(genericSignatureIdentity.ts, 17, 3))
+
+    <T>(x: any): any;
+>T : Symbol(T, Decl(genericSignatureIdentity.ts, 18, 5))
+>x : Symbol(x, Decl(genericSignatureIdentity.ts, 18, 8))
+
+};
+
diff --git a/tests/baselines/reference/genericSignatureIdentity.types b/tests/baselines/reference/genericSignatureIdentity.types
new file mode 100644
index 0000000000..9385718a36
--- /dev/null
+++ b/tests/baselines/reference/genericSignatureIdentity.types
@@ -0,0 +1,49 @@
+=== tests/cases/compiler/genericSignatureIdentity.ts ===
+// This test is here to remind us of our current limits of type identity checking.
+// Ideally all of the below declarations would be considered different (and thus errors)
+// but they aren't because we erase type parameters to type any and don't check that
+// constraints are identical.
+
+var x: {
+>x : <T extends Date>(x: T) => T
+
+    <T extends Date>(x: T): T;
+>T : T
+>Date : Date
+>x : T
+>T : T
+>T : T
+
+};
+
+var x: {
+>x : <T extends Date>(x: T) => T
+
+    <T extends number>(x: T): T;
+>T : T
+>x : T
+>T : T
+>T : T
+
+};
+
+var x: {
+>x : <T extends Date>(x: T) => T
+
+    <T>(x: T): T;
+>T : T
+>x : T
+>T : T
+>T : T
+
+};
+
+var x: {
+>x : <T extends Date>(x: T) => T
+
+    <T>(x: any): any;
+>T : T
+>x : any
+
+};
+
diff --git a/tests/cases/compiler/genericSignatureIdentity.ts b/tests/cases/compiler/genericSignatureIdentity.ts
new file mode 100644
index 0000000000..c685b8cc57
--- /dev/null
+++ b/tests/cases/compiler/genericSignatureIdentity.ts
@@ -0,0 +1,20 @@
+// This test is here to remind us of our current limits of type identity checking.
+// Ideally all of the below declarations would be considered different (and thus errors)
+// but they aren't because we erase type parameters to type any and don't check that
+// constraints are identical.
+
+var x: {
+    <T extends Date>(x: T): T;
+};
+
+var x: {
+    <T extends number>(x: T): T;
+};
+
+var x: {
+    <T>(x: T): T;
+};
+
+var x: {
+    <T>(x: any): any;
+};