对Observable联合类型调用take()为何出现矛盾参数报错？

问题重现 #

代码示例：

import {Observable, take} from 'rxjs';

declare const obs$: Observable<null> | Observable<string>;    
obs$.pipe(take())

触发的类型报错：

Expected 0 arguments, but got 1.(2554)
Expected 1 arguments, but got 0.(2554)

报错原因 #

TypeScript处理联合类型的方法调用时，会强制执行所有分支方法签名的交集约束——即调用方式必须同时满足联合类型中每个分支的方法要求。

具体到这个场景：
take操作符存在多个重载签名，当obs$是Observable<null> | Observable<string>联合类型时，TypeScript需要检查take()调用是否同时适配两个Observable分支对应的take重载。由于两个分支对应的重载规则出现冲突：既存在要求必须传入1个参数的重载分支，又存在允许传入0个参数的重载分支，TypeScript无法找到同时满足两个分支的合法调用方式，因此抛出矛盾的双向报错。

修复方案 #

将联合类型Observable<null> | Observable<string>替换为单一的泛型Observable类型Observable<string | null>，此时take()调用只需匹配单一类型对应的take重载，即可正常通过类型检查：

import {Observable, take} from 'rxjs';

declare const obs$: Observable<string | null>;    
obs$.pipe(take())

内容的提问来源于stack exchange，提问作者Matthieu Riegler