Merge #7021

7021: Track labels in the HIR r=matklad a=Veykril

Groundwork for #6966

Co-authored-by: Lukas Wirth <lukastw97@gmail.com>

diff --cc crates/hir/src/code_model.rs
Simple merge

diff --cc crates/hir_def/src/body/lower.rs
Simple merge

diff --cc crates/hir_def/src/expr.rs
Simple merge

diff --cc crates/hir_ty/src/infer/expr.rs
Simple merge