It would be nice to have the return value here too to guarantee that the inference is correct. Otherwise, if it gets passed somewhere else, it might be inferred to be something very simple (like an empty object) and passes everywhere.