Rollup of 7 pull requests

[matthiaskrgr]

Successful merges:

• omit unused args warnings for intrinsics without body #135840 (omit unused args warnings for intrinsics without body)
• Manually walk into WF obligations in BestObligation proof tree visitor #135900 (Manually walk into WF obligations in BestObligation proof tree visitor)
• Fix off-by-one error causing slice::sort to abort the program #136163 (Fix off-by-one error causing slice::sort to abort the program)
• fix broken release notes id #136266 (fix broken release notes id)
• Use proper type when applying deref adjustment in const #136314 (Use proper type when applying deref adjustment in const)
• miri: make float min/max non-deterministic #136348 (miri: make float min/max non-deterministic)
• Add documentation for derive(CoercePointee) #136351 (Add documentation for derive(CoercePointee))

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

[matthiaskrgr]

@bors r+ rollup=never p=5

[bors]

📌 Commit 70894fe has been approved by matthiaskrgr

It is now in the queue for this repository.

[bors]

⌛ Testing commit 70894fe with merge 9e48dfe...

[bors]

☀️ Test successful - checks-actions
Approved by: matthiaskrgr
Pushing 9e48dfe to master...

[rust-timer]

📌 Perf builds for each rolled up PR:

PR#	Message	Perf Build Sha
#135840	omit unused args warnings for intrinsics without body	1400ee861aede7d18d950ee3c805d3fca6a5f32b (link)
#135900	Manually walk into WF obligations in BestObligation proof…	83c0bfbfa15bbf5be8de34b52fba934b89678044 (link)
#136163	Fix off-by-one error causing slice::sort to abort the progr…	95fe37a5f2d2269401d0242d2c6c4db4668eb714 (link)
#136266	fix broken release notes id	b60ae4ab65604ff7605f5e46b2193f7eb990920e (link)
#136314	Use proper type when applying deref adjustment in const	bd781ce2243943d32df0b792ced5e43ea6e1cb73 (link)
#136348	miri: make float min/max non-deterministic	8e3eb5a44f5acea4e8c9e31bfddda0e540913e4b (link)
#136351	Add documentation for derive(CoercePointee)	1df1c648298435e24d85a9b961ae17b678be8967 (link)

previous master: 9709af7901

In the case of a perf regression, run the following command for each PR you suspect might be the cause: @rust-timer build $SHA

[rust-timer]

Finished benchmarking commit (9e48dfe): comparison URL.

Overall result: ❌ regressions - no action needed

@rustbot label: -perf-regression

Instruction count

This is the most reliable metric that we have; it was used to determine the overall result at the top of this comment. However, even this metric can sometimes exhibit noise.

	mean	range	count
Regressions ❌ (primary)	0.2%	[0.2%, 0.3%]	2
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	0.2%	[0.2%, 0.3%]	2

Max RSS (memory usage)

Results (primary 1.5%)

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)	4.7%	[2.4%, 9.1%]	5
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-3.8%	[-4.5%, -2.4%]	3
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	1.5%	[-4.5%, 9.1%]	8

Cycles

Results (secondary 2.1%)

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)	2.1%	[2.1%, 2.1%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Binary size

Results (primary 0.1%)

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.2%	[0.1%, 0.3%]	2
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-0.1%	[-0.1%, -0.0%]	3
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	0.1%	[-0.1%, 0.3%]	5

Bootstrap: 778.098s -> 777.638s (-0.06%)
Artifact size: 328.85 MiB -> 328.85 MiB (0.00%)