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