Point at cause of expectation of break value when possible

[estebank]

When encountering a type error within the value of a break statement, climb the HIR tree to identify if the expectation comes from an assignment or a return type (if the loop is the tail expression of a fn).

Fix #115905.

[rustbot]

r? @petrochenkov

(rustbot has picked a reviewer for you, use r? to override)

[compiler-errors]

pls fix typo, r=me

[estebank]

r? @compiler-errors

I added another mechanism to check for when the typeck inference comes from other break statements.

[estebank]

Actually, I'll just open another PR.

@bors r=compiler-errors

[bors]

📌 Commit d3dea30 has been approved by compiler-errors

It is now in the queue for this repository.

[bors]

⌛ Testing commit d3dea30 with merge 136d74f...

[bors]

☀️ Test successful - checks-actions
Approved by: compiler-errors
Pushing 136d74f to master...

[rust-timer]

Finished benchmarking commit (136d74f): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-4.5%	[-4.5%, -4.5%]	1
All ❌✅ (primary)	-	-	0

Cycles

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-3.7%	[-4.5%, -3.0%]	2
All ❌✅ (primary)	-	-	0

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 635.361s -> 633.587s (-0.28%)
Artifact size: 317.70 MiB -> 317.57 MiB (-0.04%)