或者，如果可以像Objective-C的__kindof那样手动添加一个关键字来忽略协变性问题呢？
当有人想要忽略这些问题时，他们唯一能做的就是将strictFunctionTypes标志设置为false。但是整个项目都会受到这个标志的影响。我能否只是忽略这一行的类型检查，而不使用类型转换或@ts-ignore呢？

我们需要在文档中提到这一点，是的，方法会双向检查，但属性会使用正确的可变性进行检查。您可以禁用 strictFunctionTypes 以使所有函数参数双向检查。

我们需要在文档中提到这一点，是的，方法会双向检查，但属性会使用正确的协变性进行检查。你可以禁用 strictFunctionTypes 来让所有函数参数双向检查
感谢你的回复。是的，我可以禁用 strictFunctionTypes 标志来解决这个问题，但这意味着项目的所有函数参数都会双向检查。
所以...如果有可能添加一个新的关键字(或其他方式)仅使函数参数仅对一个方法(或单个文件)进行双向检查......?就像 Objective-C 中的 __kindof 关键字一样。
例如，当你编写这样的代码时：

@interface TestInterface
  @property(nonatomic) NSArray<__kindof UIView *> *array;
@end

这意味着 TestInterface 中有数组，该数组中的所有成员都可以是 UIView或 UIView 的某个子类。
在我的情况下，我只想让 func1 属性知道输入参数可以是 M1或 M1 的某个子类,并且该属性可以通过 (m: M2) => number 被 R2 覆盖，而不是让所有函数参数双向检查。我想要的是像这样：

class M1 {
  c: number = 1;
}

export class M2 extends M1 {
  a: number = 1;
}

class R1 {
  public func1 = (m: __kindof M1) => {
    return m.c;
  };
}

export class R2 extends R1 {
  public func1 = (m: M2) => { // no error
    return m.c;
  };
}

我们需要在文档中提到这一点，是的，方法会双向检查，但属性会使用正确的可变性进行检查。你可以禁用 strictFunctionTypes 以使所有函数参数双向检查
以下问题是否相同？
当 strictFunctionTypes 为真时，我希望编译器将属性和方法定义视为相同。或者我们需要一个 stricterFunctionTypes 吗？😄

type Func<P> = (p: P) => void

let a!: Func<{ a: number }>
let b!: Func<{ a: number; b: number }>

a = b // Correctly flagged as error
b = a

interface Wrapped<P> {
  func(p: P): void
  // Replace with the following, then it correctly flags an error below
  // func: Func<P>
}

let c!: Wrapped<{ a: number }>
let d!: Wrapped<{ a: number; b: number }>

a = d.func // Correctly flagged as error
b = c.func

c.func = d.func // Not flagged as error!
d.func = c.func