add clarifying doc comment

petrosagg · petrosagg · commit 5d9b04fd2372 · 2025-09-20T20:09:06.000+03:00
diff --git a/src/tools/miri/tests/pass/vec.rs b/src/tools/miri/tests/pass/vec.rs
@@ -169,6 +169,8 @@ fn miri_issue_2759() {
     input.replace_range(0..0, "0");
 }
 
+/// This was skirting the edge of UB, let's make sure it remains on the sound side.
+/// Context: <https://github.com/rust-lang/rust/pull/141032>.
 fn extract_if() {
     let mut v = vec![Box::new(0u64), Box::new(1u64)];
     for item in v.extract_if(.., |x| **x == 0) {

Original file line number	Diff line number	Diff line change
`@@ -169,6 +169,8 @@ fn miri_issue_2759() {`
`169`	`169`	`input.replace_range(0..0, "0");`
`170`	`170`	`}`
`171`	`171`
	`172`	`+/// This was skirting the edge of UB, let's make sure it remains on the sound side.`
	`173`	`+/// Context: <https://github.com/rust-lang/rust/pull/141032>.`
`172`	`174`	`fn extract_if() {`
`173`	`175`	`let mut v = vec![Box::new(0u64), Box::new(1u64)];`
`174`	`176`	`for item in v.extract_if(.., \|x\| **x == 0) {`