inference: more `Vararg` handling

Commit

3 years ago

inference: more `Vararg` handling Just found this case from code review, but this `Vararg` should be widened.