TS：跨多个接口的类型推断和函数签名不推理？

问：

type TypeOfSomething = "something" | "other thing";

interface HigherLevel<T extends TypeOfSomething> {
  subsection: MidLevel<T>;
}
interface MidLevel<T extends TypeOfSomething> {
  callback: (arg: T) => void;
}

const t = { subsection: { callback: (arg: "something") => {} } } as HigherLevel;

这会引发错误（打字稿错误） 泛型类型“HigherLevel”需要 1 个类型参数.ts（2314）

完全错误：泛型类型“HigherLevel”需要 1 个类型参数.ts（2314） 在线上as HigherLevel

为什么会这样？我已经在回调函数中指定了 的类型，所以打字稿不应该能够推断类型参数吗？argHigherLevel

我正在使用 as 子句，使用它键入常量 t 时出现类似的错误：

const t: HigherLevel = { subsection: { callback: (arg: "something") => {} } };

它给了我同样的错误

如果能够推断我的类型，那对我来说会很好，特别是因为我只问这个问题，因为它影响了我试图完成的更复杂的类型。

我不知道这是否是打字稿的一个功能，但在我看来应该是，否则我可能会以错误的方式思考这个问题。

这是一个没有接口的更简单示例，可能更容易解决。我仍然在寻找解决上述更大问题的方法，但这仍然让我感到困惑：HigherLevel

type TypeOfSomething = "something" | "other thing";

interface MidLevel<T extends TypeOfSomething> {
  callback: (arg: T) => void;
}

const t: MidLevel = { callback: (arg: "something") => {} };

相同的错误，相同的行:(

TS 版本：4.7.4tsc -V