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

Inizia con il Playground Link fornito e riproduci l'esempio di chiamata di asserzione opzionale con strictNullChecks disabilitato, confrontando il narrowing osservato con il comportamento previsto. Traccia il narrowing del flusso di controllo del compilatore per le chiamate opzionali; il lavoro è completato quando v non viene ristretto dopo obj.assert?.(v), oppure quando viene diagnosticata la combinazione non supportata.