Skip to content

Commit eaf3116

Browse files
committed
Add navigational note from ref-safe-context to safe-context
(And fix a bit of formatting.) Fixes #901.
1 parent f2dd376 commit eaf3116

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

standard/variables.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1075,7 +1075,7 @@ There are three ref-safe-contexts:
10751075
- Member fields of parameters of class type; and
10761076
- Elements of parameters of array type.
10771077
1078-
A *variable_reference* with ref-safe-context of caller-context can be the referent of a reference return.
1078+
A *variable_reference* with ref-safe-context of caller-context can be the referent of a reference return.
10791079
10801080
These values form a nesting relationship from narrowest (declaration-block) to widest (caller-context). Each nested block represents a different context.
10811081
@@ -1152,6 +1152,10 @@ These values form a nesting relationship from narrowest (declaration-block) to w
11521152
> ```
11531153
>
11541154
> *end example.*
1155+
<!-- markdownlint-disable MD028 -->
1156+
1157+
<!-- markdownlint-enable MD028 -->
1158+
> *Note*: The related notion of a *safe-context* is defined in ([§16.4.12](structs.md#16412-safe-context-constraint)), along with associated constraints. *end note*
11551159
11561160
#### 9.7.2.2 Local variable ref safe context
11571161

0 commit comments

Comments
 (0)