From 43829689596d1694314a117396f1c2bfb735a1d8 Mon Sep 17 00:00:00 2001
From: Simon Friis Vindum <simonfv@gmail.com>
Date: Sat, 2 Aug 2025 08:41:04 +0200
Subject: [PATCH] Assignment coercion site

---
 src/type-coercions.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/type-coercions.md b/src/type-coercions.md
index a69b86968..c17b4822f 100644
--- a/src/type-coercions.md
+++ b/src/type-coercions.md
@@ -78,6 +78,16 @@ r[coerce.site.return]
   }
   ```
 
+r[coerce.site.assignment]
+* Assigned value operands in assignment expressions
+
+  For example, `y` is coerced to have type `&i8` in the following:
+  ```rust
+  let mut x = &0i8;
+  let y = &mut 42i8;
+  x = y;
+  ```
+
 r[coerce.site.subexpr]
 If the expression in one of these coercion sites is a coercion-propagating
 expression, then the relevant sub-expressions in that expression are also