Cannot be dynamically inferred after passing some generic parameters

Question

const a = <
  T extends any = any,
  B extends boolean = true,
  R extends T | undefined = B extends true ? T : T | undefined
&