annotate opApply() delegates with scope (#3230)

WalterBright · web-flow · commit 7d865f4c4c50 · 2022-02-21T09:58:07.000+08:00
diff --git a/spec/statement.dd b/spec/statement.dd
@@ -724,9 +724,10 @@ $(CONSOLE
     not escape the scope of the $(I opApply) function (an example would be assigning $(I dg) to a
     global). If it cannot be statically guaranteed that $(I dg) does not escape, a closure may
     be allocated for it on the heap instead of the stack.
-    Best practice is to annotate delegate parameters with `scope` when possible.
     )
 
+    $(BEST_PRACTICE Annotate delegate parameters to `opApply` functions with `scope` when possible.)
+
     $(P $(LEGACY_LNAME2 opApply, op-apply, $(I opApply)) can also be a templated function,
         which will infer the types of parameters based on the $(I ForeachStatement).
     )

Original file line number	Diff line number	Diff line change
`@@ -724,9 +724,10 @@ $(CONSOLE`
`724`	`724`	`not escape the scope of the $(I opApply) function (an example would be assigning $(I dg) to a`
`725`	`725`	`global). If it cannot be statically guaranteed that $(I dg) does not escape, a closure may`
`726`	`726`	`be allocated for it on the heap instead of the stack.`
`727`		- Best practice is to annotate delegate parameters with `scope` when possible.
`728`	`727`	`)`
`729`	`728`
	`729`	+ $(BEST_PRACTICE Annotate delegate parameters to `opApply` functions with `scope` when possible.)
	`730`	`+`
`730`	`731`	`$(P $(LEGACY_LNAME2 opApply, op-apply, $(I opApply)) can also be a templated function,`
`731`	`732`	`which will infer the types of parameters based on the $(I ForeachStatement).`
`732`	`733`	`)`