74d7731c5b
In the analysis use `resolve_vars_if_possible` instead of `fully_resolve`, because we might not have performed regionck yet. Fixes: #83176
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.