From 4e9e62d86102f689014da30cfad74e4a7139cc5e Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Mon, 12 Jun 2017 13:17:24 -0700
Subject: [PATCH] Add test

---
 .../reference/noStrictGenericChecks.js        | 15 +++++++
 .../reference/noStrictGenericChecks.symbols   | 38 ++++++++++++++++++
 .../reference/noStrictGenericChecks.types     | 40 +++++++++++++++++++
 tests/cases/compiler/noStrictGenericChecks.ts |  9 +++++
 4 files changed, 102 insertions(+)
 create mode 100644 tests/baselines/reference/noStrictGenericChecks.js
 create mode 100644 tests/baselines/reference/noStrictGenericChecks.symbols
 create mode 100644 tests/baselines/reference/noStrictGenericChecks.types
 create mode 100644 tests/cases/compiler/noStrictGenericChecks.ts

diff --git a/tests/baselines/reference/noStrictGenericChecks.js b/tests/baselines/reference/noStrictGenericChecks.js
new file mode 100644
index 00000000000..485fdc6bd3b
--- /dev/null
+++ b/tests/baselines/reference/noStrictGenericChecks.js
@@ -0,0 +1,15 @@
+//// [noStrictGenericChecks.ts]
+type A = <T, U>(x: T, y: U) => [T, U];
+type B = <S>(x: S, y: S) => [S, S];
+
+function f(a: A, b: B) {
+    a = b;  // Error disabled here
+    b = a;  // Ok
+}
+
+
+//// [noStrictGenericChecks.js]
+function f(a, b) {
+    a = b; // Error disabled here
+    b = a; // Ok
+}
diff --git a/tests/baselines/reference/noStrictGenericChecks.symbols b/tests/baselines/reference/noStrictGenericChecks.symbols
new file mode 100644
index 00000000000..5244cc44f2e
--- /dev/null
+++ b/tests/baselines/reference/noStrictGenericChecks.symbols
@@ -0,0 +1,38 @@
+=== tests/cases/compiler/noStrictGenericChecks.ts ===
+type A = <T, U>(x: T, y: U) => [T, U];
+>A : Symbol(A, Decl(noStrictGenericChecks.ts, 0, 0))
+>T : Symbol(T, Decl(noStrictGenericChecks.ts, 0, 10))
+>U : Symbol(U, Decl(noStrictGenericChecks.ts, 0, 12))
+>x : Symbol(x, Decl(noStrictGenericChecks.ts, 0, 16))
+>T : Symbol(T, Decl(noStrictGenericChecks.ts, 0, 10))
+>y : Symbol(y, Decl(noStrictGenericChecks.ts, 0, 21))
+>U : Symbol(U, Decl(noStrictGenericChecks.ts, 0, 12))
+>T : Symbol(T, Decl(noStrictGenericChecks.ts, 0, 10))
+>U : Symbol(U, Decl(noStrictGenericChecks.ts, 0, 12))
+
+type B = <S>(x: S, y: S) => [S, S];
+>B : Symbol(B, Decl(noStrictGenericChecks.ts, 0, 38))
+>S : Symbol(S, Decl(noStrictGenericChecks.ts, 1, 10))
+>x : Symbol(x, Decl(noStrictGenericChecks.ts, 1, 13))
+>S : Symbol(S, Decl(noStrictGenericChecks.ts, 1, 10))
+>y : Symbol(y, Decl(noStrictGenericChecks.ts, 1, 18))
+>S : Symbol(S, Decl(noStrictGenericChecks.ts, 1, 10))
+>S : Symbol(S, Decl(noStrictGenericChecks.ts, 1, 10))
+>S : Symbol(S, Decl(noStrictGenericChecks.ts, 1, 10))
+
+function f(a: A, b: B) {
+>f : Symbol(f, Decl(noStrictGenericChecks.ts, 1, 35))
+>a : Symbol(a, Decl(noStrictGenericChecks.ts, 3, 11))
+>A : Symbol(A, Decl(noStrictGenericChecks.ts, 0, 0))
+>b : Symbol(b, Decl(noStrictGenericChecks.ts, 3, 16))
+>B : Symbol(B, Decl(noStrictGenericChecks.ts, 0, 38))
+
+    a = b;  // Error disabled here
+>a : Symbol(a, Decl(noStrictGenericChecks.ts, 3, 11))
+>b : Symbol(b, Decl(noStrictGenericChecks.ts, 3, 16))
+
+    b = a;  // Ok
+>b : Symbol(b, Decl(noStrictGenericChecks.ts, 3, 16))
+>a : Symbol(a, Decl(noStrictGenericChecks.ts, 3, 11))
+}
+
diff --git a/tests/baselines/reference/noStrictGenericChecks.types b/tests/baselines/reference/noStrictGenericChecks.types
new file mode 100644
index 00000000000..0509c22859a
--- /dev/null
+++ b/tests/baselines/reference/noStrictGenericChecks.types
@@ -0,0 +1,40 @@
+=== tests/cases/compiler/noStrictGenericChecks.ts ===
+type A = <T, U>(x: T, y: U) => [T, U];
+>A : A
+>T : T
+>U : U
+>x : T
+>T : T
+>y : U
+>U : U
+>T : T
+>U : U
+
+type B = <S>(x: S, y: S) => [S, S];
+>B : B
+>S : S
+>x : S
+>S : S
+>y : S
+>S : S
+>S : S
+>S : S
+
+function f(a: A, b: B) {
+>f : (a: A, b: B) => void
+>a : A
+>A : A
+>b : B
+>B : B
+
+    a = b;  // Error disabled here
+>a = b : B
+>a : A
+>b : B
+
+    b = a;  // Ok
+>b = a : A
+>b : B
+>a : A
+}
+
diff --git a/tests/cases/compiler/noStrictGenericChecks.ts b/tests/cases/compiler/noStrictGenericChecks.ts
new file mode 100644
index 00000000000..55593feef75
--- /dev/null
+++ b/tests/cases/compiler/noStrictGenericChecks.ts
@@ -0,0 +1,9 @@
+// @noStrictGenericChecks: true
+
+type A = <T, U>(x: T, y: U) => [T, U];
+type B = <S>(x: S, y: S) => [S, S];
+
+function f(a: A, b: B) {
+    a = b;  // Error disabled here
+    b = a;  // Ok
+}