TypeScript 3.5和3.6之间的泛型参数推断不匹配

我试图理解以下代码的类型检查:

const marker = Symbol();

type ConstItem = string | number | null;
type Item = ConstItem | { [index: string]: string };
type WrapOrConst<T extends Item> = Wrap<T> | (T extends ConstItem ? T : never);
type Wrap<T extends Item> = {
    __marker: typeof marker,
    __phantom: T;
}

declare function wrapped<T extends Item>(item: T): Wrap<T>;
declare function str(): string;

type UnionInner<T extends Array<WrapOrConst<Item>>> = T extends Array<WrapOrConst<infer U>> ? U : never;
declare function Union<T extends WrapOrConst<Item>[]>(...inner: T): Wrap<UnionInner<T>>;

const test = Union(wrapped(str()), null);
const test2: string | null = test.__phantom;

Playground

这在TypeScript 3.6中运行良好,但在TypeScript 3.5中失败,因为 test 推断为 Wrap<Item> 而不是 Wrap<string | null>