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