Type of function tail expressions not inferred correctly

[brson]

This doesn't typecheck:

fn f() -> int[] {
  ~[]
}

This does:

fn f() -> int[] {
  ret ~[];
}

[brson]

Oh, the error is "error: cannot determine a type for this expression"