Do not depend on typeck to borrow-check inline consts.

[cjgillot]

Instead fetch the type from the inline-const's MIR, which comes from exactly the same typeck information.

[cjgillot]

@bors try @rust-timer queue

[rust-bors]

☀️ Try build successful (CI)
Build commit: d7e530a (d7e530af59133bd3b703690962214548d36830f5, parent: 67bcaa9c4b1b1015efae3d591155c79760b1e0a5)

[rust-timer]

Finished benchmarking commit (d7e530a): comparison URL.

Overall result: no relevant changes - no action needed

Benchmarking means the PR may be perf-sensitive. Consider adding rollup=never if this change is not fit for rolling up.

@rustbot label: -S-waiting-on-perf -perf-regression

Instruction count

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

Max RSS (memory usage)

Results (primary 3.2%, secondary 0.2%)

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

	mean	range	count
Regressions ❌ (primary)	3.2%	[2.3%, 4.7%]	3
Regressions ❌ (secondary)	1.5%	[0.5%, 3.3%]	3
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-3.5%	[-3.5%, -3.5%]	1
All ❌✅ (primary)	3.2%	[2.3%, 4.7%]	3

Cycles

Results (primary -2.0%, secondary -0.7%)

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)	0.5%	[0.5%, 0.5%]	1
Improvements ✅ (primary)	-2.0%	[-2.0%, -2.0%]	1
Improvements ✅ (secondary)	-0.8%	[-2.3%, -0.4%]	8
All ❌✅ (primary)	-2.0%	[-2.0%, -2.0%]	1

Binary size

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

Bootstrap: 487.864s -> 483.909s (-0.81%)
Artifact size: 390.99 MiB -> 391.01 MiB (0.00%)

[rustbot]

r? @dingxiangfei2009

rustbot has assigned @dingxiangfei2009.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

• Owners of files modified in this PR: borrowck, compiler
• borrowck, compiler expanded to 73 candidates
• Random selection from 21 candidates

[dingxiangfei2009]

@bors r+ rollup=always

[rust-bors]

📌 Commit f4c3a71 has been approved by dingxiangfei2009

It is now in the queue for this repository.