JohnTitor
diff --git a/‎src/hir-typeck/coercions.md‎
Lines changed: 1 addition & 0 deletions b/‎src/hir-typeck/coercions.md‎
Lines changed: 1 addition & 0 deletions
@@ -1,4 +1,5 @@
 # Coercions
+<!-- date-check: Dec 2025 -->
 
 Coercions are implicit operations which transform a value into a different type. A coercion *site* is a position where a coercion is able to be implicitly performed. There are two kinds of coercion sites: 
 - one-to-one
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`# Coercions`
	`2`	`+<!-- date-check: Dec 2025 -->`
`2`	`3`
`3`	`4`	`Coercions are implicit operations which transform a value into a different type. A coercion site is a position where a coercion is able to be implicitly performed. There are two kinds of coercion sites:`
`4`	`5`	`- one-to-one`