Merge pull request #4227 from rust-lang/rustup-2025-03-15

saethlin · web-flow · commit 72f14cdabc02 · 2025-03-15T05:43:22.000Z
Automatic Rustup
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-addae0705c7cf5b2f2ed7faeec026c894f497b3d
+d9e5539a39192028a7b15ae596a8685017faecee
diff --git a/tests/fail/both_borrows/aliasing_mut4.tree.stderr b/tests/fail/both_borrows/aliasing_mut4.tree.stderr
@@ -1,8 +1,8 @@
 error: Undefined Behavior: write access through <TAG> at ALLOC[0x0] is forbidden
   --> RUSTLIB/core/src/mem/mod.rs:LL:CC
    |
-LL |         ptr::write(dest, src);
-   |         ^^^^^^^^^^^^^^^^^^^^^ write access through <TAG> at ALLOC[0x0] is forbidden
+LL |         crate::intrinsics::write_via_move(dest, src);
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ write access through <TAG> at ALLOC[0x0] is forbidden
    |
    = help: this indicates a potential bug in the program: it performed an invalid operation, but the Tree Borrows rules it violated are still experimental
    = help: the accessed tag <TAG> is foreign to the protected tag <TAG> (i.e., it is not a child)

Original file line number	Diff line number	Diff line change
`@@ -1,8 +1,8 @@`
`1`	`1`	`error: Undefined Behavior: write access through <TAG> at ALLOC[0x0] is forbidden`
`2`	`2`	`--> RUSTLIB/core/src/mem/mod.rs:LL:CC`
`3`	`3`	`\|`
`4`		`-LL \| ptr::write(dest, src);`
`5`		`- \| ^^^^^^^^^^^^^^^^^^^^^ write access through <TAG> at ALLOC[0x0] is forbidden`
	`4`	`+LL \| crate::intrinsics::write_via_move(dest, src);`
	`5`	`+ \| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ write access through <TAG> at ALLOC[0x0] is forbidden`
`6`	`6`	`\|`
`7`	`7`	`= help: this indicates a potential bug in the program: it performed an invalid operation, but the Tree Borrows rules it violated are still experimental`
`8`	`8`	`= help: the accessed tag <TAG> is foreign to the protected tag <TAG> (i.e., it is not a child)`