Возможен ли условный тип исходя из статического свойства класса в TypeScript?
lightalex, максимум можно изобразить что-то такое:
class A {
  static bool: boolean = true;
}
class B extends A {
  static readonly bool = true;
}
class C extends A {
  static readonly bool = false;
}
function func<T extends typeof A, P = T['bool'] extends true ? number : string>(param: P) { } 

func<typeof B>(123); //ok
func<typeof B>('random string'); //not ok
func<typeof C>(123); //not ok
func<typeof C>('random string'); //ok
Но если параметр bool может меняться во время исполнения - тайпскрипт никак не может знать его значение во время компиляции.
TS может не больше чем описано в документации