Update never type fallback for stabilization

ehuss · ehuss · commit 1efe67ff658e · 2026-06-12T11:04:32.000-07:00
In the stabilization, the dependency_on_unit_never_type_fallback is
being made a hard error in all editions.
diff --git a/src/divergence.md b/src/divergence.md
@@ -74,9 +74,6 @@ If a type to be inferred is only unified with diverging expressions, then that t
 > };
 > ```
 
-> [!EDITION-2024]
-> Before the 2024 edition, the type was inferred to instead be `()`.
-
 > [!NOTE]
 > Importantly, type unification may happen *structurally*, so the fallback `!` may be part of a larger type. The following compiles:
 >

Original file line number	Diff line number	Diff line change
`@@ -74,9 +74,6 @@ If a type to be inferred is only unified with diverging expressions, then that t`
`74`	`74`	`> };`
`75`	`75`	> ```
`76`	`76`
`77`		`-> [!EDITION-2024]`
`78`		-> Before the 2024 edition, the type was inferred to instead be `()`.
`79`		`-`
`80`	`77`	`> [!NOTE]`
`81`	`78`	> Importantly, type unification may happen structurally, so the fallback `!` may be part of a larger type. The following compiles:
`82`	`79`	`>`