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

Comienza con el Playground Link proporcionado y reproduce el ejemplo de llamada de aserción opcional con strictNullChecks deshabilitado, comparando el narrowing observado con el comportamiento esperado. Rastrea el narrowing del flujo de control del compilador para las llamadas opcionales; se considera terminado cuando v no se estrecha después de obj.assert?.(v), o cuando se diagnostica la combinación no compatible.