Type assertions aren't merge right

[leonovalex]

Bug Report

🔎 Search Terms

type assertions order

🕗 Version & Regression Information

Started at least from 3.3

⏯ Playground Link

Playground link with relevant code

💻 Code

const receiver = (x: {}) => x;

const f = (x: unknown) => {
  if (typeof x !== 'object' || x == null) {
    return undefined
  }
  return receiver(x)
}

const f1 = (x: unknown) => {
  if (x == null || typeof x !== 'object') {
    return undefined
  }
  return receiver(x)
}

🙁 Actual behavior

Has error: Argument of type 'object | null' is not assignable to parameter of type '{}'. Type 'null' is not assignable to type '{}'.

🙂 Expected behavior

Shouldn't have any error. Checks are equivalent.

[MartinJohns]

Duplicate of #28131. Used search terms: null typeof object