1.  
  2. type ReturnType‹T extends (...args: any[]) => infer R› = R;  // Error, not supported
  3.