Fix check_expr_if to point to a more accurate location of the compilation error in some cases#147484

Open

sgasho wants to merge 7 commits intorust-lang:mainfrom

sgasho:fix/141690_check_expr_if

Commits on Oct 15, 2025

fix: check_expr_if to point to a more accurate location of the compilation error in some cases
sgasho
committed

Commits on Nov 6, 2025

refactor: remove set_diverges, reset_diverges_to_maybe, take_diverges, explain_if_branch_mismatch
sgasho
committed

Commits on Nov 9, 2025

refactor: pass cond, then, else to reduce use of
sgasho
committed
refactor: remove duplicate logic for checking Expr content. and some other refactors
sgasho
committed

Commits on Nov 15, 2025