Type inference for empty lists in return statements

[Ian Fisher]

e.g.,

func empty() -> [int] {
  return []
}

The compiler should be able to infer that the type of the empty list is [int].