Enhance FunctionExpression type inference

[HerrCai0907]

can infer following FunctionExpression type.

export function test(arr: i32[]): string[] {
  return arr.map((x: i32) => x.toString());
}

• I've read the contributing guidelines
• I've added my name and email to the NOTICE file

[MaxGraey]

Thanks!