design-md-consolidation 2.1 fixup: replace orphaned Decision 7 cross-reference at DESIGN.md:1141-1144

2026-05-10 12:25:26 +02:00
parent a3406394c2
commit 86fd5dec0b
1 changed files with 3 additions and 4 deletions
@@ -1138,10 +1138,9 @@ The trade-off this accepts: the schema permits `Term::ReuseAs
 { body }` where `body` is not an allocating form (e.g. a
 literal, a var). Such terms are caught at typecheck via a
 `reuse-as-non-allocating-body` diagnostic — structural rejection
-in the typechecker, not the schema. This is the same trade-off
-Decision 7 made for `Term::If`'s relationship to nested
-`Term::Match`: prefer composability over schema-level
-rejection where the typecheck rule is unambiguous.
+in the typechecker, not the schema. The principle: prefer
+composability over schema-level rejection where the typecheck
+rule is unambiguous.

 **`TypeDef` attribute.**