typescript使用rx.js筛选器运算符区分联合类型?

typescript支持 discriminated unions . 如何将RXJS的相同概念扩展到 filter 操作人员 在下面的例子中?

interface Square {
    kind: 'square';
    width: number;
}

interface Circle {
    kind: 'circle';
    radius: number;
}

interface Center {
    kind: 'center';
}

type Shape = Square | Circle | Center;

const obs$: Observable<Shape> = of<Shape>({ kind: 'square', width: 10 });

// Expected type: Observable<Square>
// Actual type: Observable<Shape>
const newObs$ = obs$.pipe(
    filter((x) => x.kind === 'square')
);

在代码段上方,我希望看到newobs$将其类型推断为: Observable<Square> 。但显然, TypeScript 不这样做。

如何做到这一点?我是否达到了打字稿类型推理的极限?

我在找这个,因为它在 Redux + Redux-Observable 代码库。