Infered type doesn't carry to inner scope

Question

I have a function f which can receive either one argument number or an array of two numbers (number[]):

functi