Precedence in parsing types

It looks to me like this should parse, but it doesn't:

var x: number | (string)=>void;

It works with added parens:

var x: number | ((string)=>void);

But if the parser is not too hacky, then maybe it's easy to make the first work?

(FWIW, I ran into this in a rest argument, where it would be nice to avoid the extra parens in

function foo(...xs: (number | ()=>void)[]): void { }

)

Reproduziere die beiden Beispiele für Typannotationen und das Beispiel mit dem Rest-Argument aus dem Issue und untersuche anschließend, wie der Parser von TypeScript Union-Typen und Funktionstypen verarbeitet. Die Aufgabe ist erledigt, wenn die Form ohne Klammern erfolgreich geparst wird, ohne dass die Formen mit Klammern oder der Fall mit dem Rest-Argument Regressionen aufweisen.