Bug Report

🔎 Search Terms

implicit any, filter object properties by type, key remapping

⏯ Playground Link

Playground link with relevant code

💻 Code

type BooleanProperties<T> = T extends any ? { 
  [K in keyof T as T[K] extends boolean ? K : never]: boolean;
} : never;

class Foo {
  booleansOnly: BooleanProperties<this> = undefined!; // Omitted..
  
  getString<F extends (someUsefulData: any) => any>(fn: F) : string {
    return undefined!; // Omitted..
  };

  aBoolean = true;
  
  definitelyAString = this.getString(() => this.booleansOnly.aBoolean);
}

🙁 Actual behavior

Error: 'definitelyAString' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.

🙂 Expected behavior

Since "getString" method has an explicit return type (string), in my opinion "type annotation" is provided, and the error should not be thrown.