File tree Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Original file line number Diff line number Diff line change @@ -1052,6 +1052,8 @@ A ***reference return*** is the *variable_reference* returned from a returns-by-
1052
1052
1053
1053
All reference variables obey safety rules that ensure the ref - safe - context of the reference variable is not greater than the ref -safe -context of its referent .
1054
1054
1055
+ > *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 *
1056
+
1055
1057
For any variable , the *** ref - safe - context *** of that variable is the context where a *variable_reference * ([§9 . 5 ](variables .md #95-variable -references )) to that variable is valid . The referent of a reference variable must have a ref -safe -context that is at least as wide as the ref -safe -context of the reference variable itself .
1056
1058
1057
1059
> *Note *: The compiler determines the ref - safe - context through a static analysis of the program text . The ref - safe - context reflects the lifetime of a variable at runtime . * end note *
@@ -1152,10 +1154,6 @@ These values form a nesting relationship from narrowest (declaration-block) to w
1152
1154
> ```
1153
1155
>
1154
1156
> * 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 *
1159
1157
1160
1158
#### 9.7.2.2 Local variable ref safe context
1161
1159
You can’t perform that action at this time.
0 commit comments