fix(44639): Fix emit for optional chain with type assertions

Author: a-tarasyuk

src/compiler/transformers/es2020.ts

@@ -54,7 +54,7 @@ namespace ts {
                 Debug.assertNotNode(chain, isNonNullChain);
                 links.unshift(chain);
             }
-            return { expression: chain.expression, chain: links };
+            return { expression: skipPartiallyEmittedExpressions(chain.expression), chain: links };
         }
 
         function visitNonOptionalParenthesizedExpression(node: ParenthesizedExpression, captureThisArg: boolean, isDelete: boolean): Expression {

tests/baselines/reference/optionalChainingInTypeAssertions(target=es2015).js

@@ -0,0 +1,19 @@
+//// [optionalChainingInTypeAssertions.ts]
+class Foo {
+    m() {}
+}
+
+const foo = new Foo();
+
+(foo.m as any)?.();
+(<any>foo.m)?.();
+
+
+//// [optionalChainingInTypeAssertions.js]
+var _a, _b;
+class Foo {
+    m() { }
+}
+const foo = new Foo();
+(_a = foo.m) === null || _a === void 0 ? void 0 : _a.call(foo);
+(_b = foo.m) === null || _b === void 0 ? void 0 : _b.call(foo);

tests/baselines/reference/optionalChainingInTypeAssertions(target=es2015).symbols

@@ -0,0 +1,22 @@
+=== tests/cases/conformance/expressions/optionalChaining/optionalChainingInTypeAssertions.ts ===
+class Foo {
+>Foo : Symbol(Foo, Decl(optionalChainingInTypeAssertions.ts, 0, 0))
+
+    m() {}
+>m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+}
+
+const foo = new Foo();
+>foo : Symbol(foo, Decl(optionalChainingInTypeAssertions.ts, 4, 5))
+>Foo : Symbol(Foo, Decl(optionalChainingInTypeAssertions.ts, 0, 0))
+
+(foo.m as any)?.();
+>foo.m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+>foo : Symbol(foo, Decl(optionalChainingInTypeAssertions.ts, 4, 5))
+>m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+
+(<any>foo.m)?.();
+>foo.m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+>foo : Symbol(foo, Decl(optionalChainingInTypeAssertions.ts, 4, 5))
+>m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+

tests/baselines/reference/optionalChainingInTypeAssertions(target=es2015).types

@@ -0,0 +1,29 @@
+=== tests/cases/conformance/expressions/optionalChaining/optionalChainingInTypeAssertions.ts ===
+class Foo {
+>Foo : Foo
+
+    m() {}
+>m : () => void
+}
+
+const foo = new Foo();
+>foo : Foo
+>new Foo() : Foo
+>Foo : typeof Foo
+
+(foo.m as any)?.();
+>(foo.m as any)?.() : any
+>(foo.m as any) : any
+>foo.m as any : any
+>foo.m : () => void
+>foo : Foo
+>m : () => void
+
+(<any>foo.m)?.();
+>(<any>foo.m)?.() : any
+>(<any>foo.m) : any
+><any>foo.m : any
+>foo.m : () => void
+>foo : Foo
+>m : () => void
+

tests/baselines/reference/optionalChainingInTypeAssertions(target=esnext).js

@@ -0,0 +1,18 @@
+//// [optionalChainingInTypeAssertions.ts]
+class Foo {
+    m() {}
+}
+
+const foo = new Foo();
+
+(foo.m as any)?.();
+(<any>foo.m)?.();
+
+
+//// [optionalChainingInTypeAssertions.js]
+class Foo {
+    m() { }
+}
+const foo = new Foo();
+foo.m?.();
+foo.m?.();

tests/baselines/reference/optionalChainingInTypeAssertions(target=esnext).symbols

@@ -0,0 +1,22 @@
+=== tests/cases/conformance/expressions/optionalChaining/optionalChainingInTypeAssertions.ts ===
+class Foo {
+>Foo : Symbol(Foo, Decl(optionalChainingInTypeAssertions.ts, 0, 0))
+
+    m() {}
+>m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+}
+
+const foo = new Foo();
+>foo : Symbol(foo, Decl(optionalChainingInTypeAssertions.ts, 4, 5))
+>Foo : Symbol(Foo, Decl(optionalChainingInTypeAssertions.ts, 0, 0))
+
+(foo.m as any)?.();
+>foo.m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+>foo : Symbol(foo, Decl(optionalChainingInTypeAssertions.ts, 4, 5))
+>m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+
+(<any>foo.m)?.();
+>foo.m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+>foo : Symbol(foo, Decl(optionalChainingInTypeAssertions.ts, 4, 5))
+>m : Symbol(Foo.m, Decl(optionalChainingInTypeAssertions.ts, 0, 11))
+

tests/baselines/reference/optionalChainingInTypeAssertions(target=esnext).types

@@ -0,0 +1,29 @@
+=== tests/cases/conformance/expressions/optionalChaining/optionalChainingInTypeAssertions.ts ===
+class Foo {
+>Foo : Foo
+
+    m() {}
+>m : () => void
+}
+
+const foo = new Foo();
+>foo : Foo
+>new Foo() : Foo
+>Foo : typeof Foo
+
+(foo.m as any)?.();
+>(foo.m as any)?.() : any
+>(foo.m as any) : any
+>foo.m as any : any
+>foo.m : () => void
+>foo : Foo
+>m : () => void
+
+(<any>foo.m)?.();
+>(<any>foo.m)?.() : any
+>(<any>foo.m) : any
+><any>foo.m : any
+>foo.m : () => void
+>foo : Foo
+>m : () => void
+

tests/cases/conformance/expressions/optionalChaining/optionalChainingInTypeAssertions.ts

@@ -0,0 +1,10 @@
+// @target: es2015, esnext
+
+class Foo {
+    m() {}
+}
+
+const foo = new Foo();
+
+(foo.m as any)?.();
+(<any>foo.m)?.();