你问
既然B从A延伸，为什么B不能赋值给T呢？
但编译器说的问题稍有不同：
"B"可分配给类型为"T"的约束，但"T"可以用约束"A"的其他子类型示例化。
例如，您可以：

class C extends A {}

const p1 = new Parent();
const r1 = p1.method<C>();

r1的预期类型为C，如果允许具有固定返回类型B的重载，则可能导致运行时错误。
在这个特殊的例子中，我手动强制泛型参数为C，但是如果它是从一个参数中推断出来的，情况非常相似。

class A {}

class B extends A {}

class C extends A {}

class Parent {
     public method<T extends A>(p: T): T {
      return p;
    }
}

class Child extends Parent {
    public method(p: B): B { // Compiler error
      return p
    }
}

const p1 = new Parent();
const r1 = p1.method(new C());

const c2 = new Child();
const r2 = c2.method(new C());

console.log(r2);  // prints C, but inferred type is B