Use IncreaseDepth::No for normalizes-to goal itself instead of its nested goals

[ShoyuVanilla]

Might fix perf regressions in #157718 (comment)

[ShoyuVanilla]

@bors try @rust-timer queue

[rust-bors]

☀️ Try build successful (CI)
Build commit: e3dd511 (e3dd511562be8a5b2b1b46276fa6a16bffc1580f)
Base parent: c397dae (c397dae808f70caebab1fc4e11b3edf7e59f58c7)

[rust-timer]

Finished benchmarking commit (e3dd511): comparison URL.

Overall result: ✅ improvements - no action needed

Benchmarking means the PR may be perf-sensitive. It's automatically marked not fit for rolling up. Overriding is possible but disadvised: it risks changing compiler perf.

@bors rollup=never
@rustbot label: -S-waiting-on-perf -perf-regression

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-37.3%	[-37.5%, -37.1%]	3
All ❌✅ (primary)	-	-	0

Max RSS (memory usage)

Results (secondary -8.1%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	2.8%	[2.8%, 2.8%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-10.8%	[-12.8%, -5.5%]	4
All ❌✅ (primary)	-	-	0

Cycles

Results (primary 5.5%, secondary -16.5%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

	mean	range	count
Regressions ❌ (primary)	5.5%	[5.5%, 5.5%]	1
Regressions ❌ (secondary)	2.9%	[2.9%, 2.9%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-19.7%	[-36.4%, -2.1%]	6
All ❌✅ (primary)	5.5%	[5.5%, 5.5%]	1

Binary size

This perf run didn't have relevant results for this metric.

Bootstrap: 485.944s -> 485.308s (-0.13%)
Artifact size: 393.37 MiB -> 393.33 MiB (-0.01%)

[ShoyuVanilla]

r? lcnr
I was wrong and you were totally correct on this 😅

[lcnr]

IncrementDepth and also rename the function argument name maybe 🤔 LowerAvailableDepth?

View changes since the review

[lcnr]

naming nit, otherwise r=me 😁