Rollup of 5 pull requests

[Dylan-DPC]

Successful merges:

• Remove Session::one_time_diagnostic #95149 (Remove Session::one_time_diagnostic)
• Reduce max hash in raw strings from u16 to u8 #95251 (Reduce max hash in raw strings from u16 to u8)
• Fix inaccurate function name in rustc_const_eval docs #95281 (Fix inaccurate function name in rustc_const_eval docs)
• Remove hermitkernel targets #95299 (Remove hermitkernel targets)
• std::process docs: linkify references to output, spawn and status #95306 (std::process docs: linkify references to output, spawn and status)

Failed merges:

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

[Dylan-DPC]

@bors r+ rollup=never p=5

[bors]

📌 Commit 1a6ff67 has been approved by Dylan-DPC

[bors]

⌛ Testing commit 1a6ff67 with merge fcb816c00646f39b3778cbcf56f787f9cb67ee4c...

[bors]

💔 Test failed - checks-actions

[rust-log-analyzer]

The job mingw-check failed! Check out the build log: (web)(plain)

Click to see the possible cause of the failure (guessed by this bot)

 Checking clippy_lints v0.1.61 (/checkout/src/tools/clippy/clippy_lints)
error[E0308]: mismatched types
--> src/tools/clippy/clippy_lints/src/regex.rs:165:56
|
165 | str_span(expr.span, *e.span(), offset),
| ^^^^^^ expected `u16`, found `u8`
|
help: you can convert a `u8` to a `u16`
|
165 | str_span(expr.span, *e.span(), offset.into()),
error[E0308]: mismatched types
--> src/tools/clippy/clippy_lints/src/regex.rs:173:56
|
|
173 | str_span(expr.span, *e.span(), offset),
| ^^^^^^ expected `u16`, found `u8`
|
help: you can convert a `u8` to a `u16`
|
173 | str_span(expr.span, *e.span(), offset.into()),
For more information about this error, try `rustc --explain E0308`.
error: could not compile `clippy_lints` due to 2 previous errors
Build completed unsuccessfully in 0:03:40

[rust-log-analyzer]

The job mingw-check failed! Check out the build log: (web)(plain)

Click to see the possible cause of the failure (guessed by this bot)

 Checking clippy_lints v0.1.61 (/checkout/src/tools/clippy/clippy_lints)
error[E0308]: mismatched types
--> src/tools/clippy/clippy_lints/src/regex.rs:165:56
|
165 | str_span(expr.span, *e.span(), offset),
| ^^^^^^ expected `u16`, found `u8`
|
help: you can convert a `u8` to a `u16`
|
165 | str_span(expr.span, *e.span(), offset.into()),
error[E0308]: mismatched types
--> src/tools/clippy/clippy_lints/src/regex.rs:173:56
|
|
173 | str_span(expr.span, *e.span(), offset),
| ^^^^^^ expected `u16`, found `u8`
|
help: you can convert a `u8` to a `u16`
|
173 | str_span(expr.span, *e.span(), offset.into()),
For more information about this error, try `rustc --explain E0308`.
error: could not compile `clippy_lints` due to 2 previous errors
Build completed unsuccessfully in 0:03:35