infer from usages: support short-circuiting assignment operators

[zardoy]

This case is supported:

let x

if (x === undefined || x === null) x = 1
if (!x) x = "2"
if (x) x = true

So why don't support this:

let x

x ??= 1
x ||= "2"
x &&= true

TypeScript docs

Real world pattern:

let x

function workWithX() {
  // init lazily
  x ??= ...
}

[typescript-bot]

This PR doesn't have any linked issues. Please open an issue that references this PR. From there we can discuss and prioritise.

[sandersn]

That makes sense to me.
Next time please open a bug for your idea first, though.