strictFunctionTypes option should strictly check callback parameters of override methods #19007

class C {
  a(f: (a: C) => C): void {
  }
}
class D extends C {
  p: boolean = true;
  a(f: (a: D) => D): void { // should throw an error here.
    console.log(this.p);
    this.p = f(new D()).p; // type is boolean, but value is undefined.
    console.log(this.p);
  }
}

const c: C = new D();
c.a(() => new C());