ts 中请问如何根据参数类型进行推断？

Question

例如：

interface A {
  a: number}interface B {
  a: number
  b: string}const X = (x) => {  // 操作。。。
  return x
}

参数 x 有可能是 A 或者 B。

如果传入了 A 类型，希望操作后检查到返回 x，如果带属性 b 即错误。
如果传入了 B 类型，希望操作后检查到返回 x，如果不带属性 b 即为错误。

希望返回 x 的类型，断言等于传入的类型。