Add a failing test for dependent parameters

Andarist · Andarist · commit 3e87dec24c8c · 2021-11-03T09:56:54.000+01:00
diff --git a/tests/baselines/reference/dependentParameters.js b/tests/baselines/reference/dependentParameters.js
@@ -0,0 +1,24 @@
+//// [dependentParameters.ts]
+type Args = ['A', number] | ['B', string]
+
+declare function fn10(cb: (...args: Args) => void): void
+
+fn10((kind, data) => {
+    if (kind === 'A') {
+        data.toFixed();
+    }
+    if (kind === 'B') {
+        data.toUpperCase();
+    }
+})
+
+
+//// [dependentParameters.js]
+fn10(function (kind, data) {
+    if (kind === 'A') {
+        data.toFixed();
+    }
+    if (kind === 'B') {
+        data.toUpperCase();
+    }
+});
diff --git a/tests/baselines/reference/dependentParameters.symbols b/tests/baselines/reference/dependentParameters.symbols
@@ -0,0 +1,29 @@
+=== tests/cases/conformance/controlFlow/dependentParameters.ts ===
+type Args = ['A', number] | ['B', string]
+>Args : Symbol(Args, Decl(dependentParameters.ts, 0, 0))
+
+declare function fn10(cb: (...args: Args) => void): void
+>fn10 : Symbol(fn10, Decl(dependentParameters.ts, 0, 41))
+>cb : Symbol(cb, Decl(dependentParameters.ts, 2, 22))
+>args : Symbol(args, Decl(dependentParameters.ts, 2, 27))
+>Args : Symbol(Args, Decl(dependentParameters.ts, 0, 0))
+
+fn10((kind, data) => {
+>fn10 : Symbol(fn10, Decl(dependentParameters.ts, 0, 41))
+>kind : Symbol(kind, Decl(dependentParameters.ts, 4, 6))
+>data : Symbol(data, Decl(dependentParameters.ts, 4, 11))
+
+    if (kind === 'A') {
+>kind : Symbol(kind, Decl(dependentParameters.ts, 4, 6))
+
+        data.toFixed();
+>data : Symbol(data, Decl(dependentParameters.ts, 4, 11))
+    }
+    if (kind === 'B') {
+>kind : Symbol(kind, Decl(dependentParameters.ts, 4, 6))
+
+        data.toUpperCase();
+>data : Symbol(data, Decl(dependentParameters.ts, 4, 11))
+    }
+})
+
diff --git a/tests/baselines/reference/dependentParameters.types b/tests/baselines/reference/dependentParameters.types
@@ -0,0 +1,40 @@
+=== tests/cases/conformance/controlFlow/dependentParameters.ts ===
+type Args = ['A', number] | ['B', string]
+>Args : Args
+
+declare function fn10(cb: (...args: Args) => void): void
+>fn10 : (cb: (...args: Args) => void) => void
+>cb : (...args: Args) => void
+>args : Args
+
+fn10((kind, data) => {
+>fn10((kind, data) => {    if (kind === 'A') {        data.toFixed();    }    if (kind === 'B') {        data.toUpperCase();    }}) : void
+>fn10 : (cb: (...args: Args) => void) => void
+>(kind, data) => {    if (kind === 'A') {        data.toFixed();    }    if (kind === 'B') {        data.toUpperCase();    }} : (kind: "A" | "B", data: string | number) => void
+>kind : "A" | "B"
+>data : string | number
+
+    if (kind === 'A') {
+>kind === 'A' : boolean
+>kind : "A" | "B"
+>'A' : "A"
+
+        data.toFixed();
+>data.toFixed() : any
+>data.toFixed : any
+>data : string | number
+>toFixed : any
+    }
+    if (kind === 'B') {
+>kind === 'B' : boolean
+>kind : "A" | "B"
+>'B' : "B"
+
+        data.toUpperCase();
+>data.toUpperCase() : any
+>data.toUpperCase : any
+>data : string | number
+>toUpperCase : any
+    }
+})
+
diff --git a/tests/cases/conformance/controlFlow/dependentParameters.ts b/tests/cases/conformance/controlFlow/dependentParameters.ts
@@ -0,0 +1,12 @@
+type Args = ['A', number] | ['B', string]
+
+declare function fn10(cb: (...args: Args) => void): void
+
+fn10((kind, data) => {
+    if (kind === 'A') {
+        data.toFixed();
+    }
+    if (kind === 'B') {
+        data.toUpperCase();
+    }
+})
