Auto merge of #98569 - nnethercote:finalize_resolutions_id, r=cjgillot

Avoid unnecessary work in `finalize_resolutions_in`.

If `module.opt_def_id()` returns `None`, we can skip most of the work.

r? `@lqd`

Author: bors