Assertion call in optional chain should not narrow variable

TypeScript Version: 4.1.3

Search Terms: assert optional call

Expected behavior:

No narrowing of v.
Maybe an error indicating that assertion calls don't work with optional chaining.

Actual behavior:

Assertion call narrows v. If strictNullChecks is enabled, it works as expected.

Related Issues:

Code

// @strictNullChecks: false
declare const obj: {
  assert?(v: any): asserts v;
}

declare const v: boolean;
obj.assert?.(v);
v; // should not be narrowed to 'true'

{
  "compilerOptions": {
    "noImplicitAny": true,
    "strictNullChecks": true,
    "strictFunctionTypes": true,
    "strictPropertyInitialization": true,
    "strictBindCallApply": true,
    "noImplicitThis": true,
    "noImplicitReturns": true,
    "alwaysStrict": true,
    "esModuleInterop": true,
    "declaration": true,
    "experimentalDecorators": true,
    "emitDecoratorMetadata": true,
    "moduleResolution": 2,
    "target": "ES2017",
    "jsx": "React",
    "module": "ESNext"
  }
}

Playground Link: Provided

Beginne mit dem bereitgestellten Playground Link und reproduziere das Beispiel für einen optionalen Assertion-Aufruf mit deaktiviertem strictNullChecks, wobei du die beobachtete Narrowing mit dem erwarteten Verhalten vergleichst. Verfolge das Control-Flow-Narrowing des Compilers für optionale Aufrufe; abgeschlossen ist die Aufgabe, wenn v nach obj.assert?.(v) nicht eingeengt wird oder die nicht unterstützte Kombination diagnostiziert wird.