在Typescript中使用接口和交叉类型的错误推理（严格模式）

Question

我在Typescript中遇到了一个奇怪的行为，启用了strictNullChecks。我已将原始代码分解为最小的通用（独立）代码段（如果您想要摆弄，请确保启用strictNullChecks），您可以在下面找到它。我还提供了一些替代行，当用于代替上面的行时，使代码片段编译没有错误。我在此代码段中遇到的错误也包含在下面。

type FooOptions<OptionsT> = OptionsT & BaseOptions<OptionsT>;

interface Breaker<OptionsT>
{ (this: Foo<OptionsT>): void; }

interface BaseOptions<OptionsT>
{ breaker?: Breaker<OptionsT>; }
// {} // works! [A]

class Foo<OptionsT>
{
    public constructor(
        protected readonly options: FooOptions<OptionsT>,
    )
    {}
}

interface SpecialOptions
{ limit?: number; }
// { limit: number | undefined; } // works! [B]

interface BarFoo extends Foo<SpecialOptions> {}
type BarFooType = Foo<SpecialOptions>;

class FooFactory
{
    public bar(limit?: number):
        BarFoo
        // BarFooType // works! [C]
        // Foo<SpecialOptions> // works! [D]
    { return new Foo({limit}); } // ERROR comes from here
    // { return new Foo(<SpecialOptions>{limit}); } // works! [E]
}

收到的错误如下。我添加了换行符，因此您不需要水平滚动。

Type 'Foo<{ limit: number | undefined; }>' is not assignable to type 'BarFoo'. Types of
property 'options' are incompatible. Type 'FooOptions<{ limit: number | undefined; }>' is not
assignable to type 'FooOptions<SpecialOptions>'. Type
'FooOptions<{ limit: number | undefined; }>' is not assignable to type
'BaseOptions<SpecialOptions>'. Types of property 'breaker' are incompatible. Type
'Breaker<{ limit: number | undefined; }> | undefined' is not assignable to type
'Breaker<SpecialOptions> | undefined'. Type 'Breaker<{ limit: number | undefined; }>' is not
assignable to type 'Breaker<SpecialOptions> | undefined'. Type
'Breaker<{ limit: number | undefined; }>' is not assignable to type
'Breaker<SpecialOptions>'. Type 'SpecialOptions' is not assignable to type
'{ limit: number | undefined; }'. Property 'limit' is optional in type 'SpecialOptions' but
required in type '{ limit: number | undefined; }'.

关于替代方案的评论：

• [A]没有有效的选择。我需要那件事。 （琐事：在我的原始代码中，这也被命名为Breaker。谁能知道它会打破我的代码？）
• [B]这会让limit无法离开。
• [C]这是我现在将要使用的替代方案。
• [D]只是[C]内联。
• [E]如果它不合适，请对其进行类型转换。我不是这个的粉丝。我宁愿推断出类型。

我的问题是：为什么它不起作用？或者这是一个错误？或者我可以/应该以某种方式改进/纠正Breaker / BaseOptions打字？如果是这样，怎么样？

编辑1

我的tsconfig.json：

{
  "compilerOptions": {
    "target": "es2017",
    "module": "commonjs",
    "moduleResolution": "node",
    "noUnusedLocals": true,
    "strict": true,
    "experimentalDecorators": true,
    "rootDir": "./",
    "lib": [
      "ES2017"
    ],
    "types": [
      "node"
    ]
  }
}