Skip to content

Commit

Permalink
Add navigational note from ref-safe-context to safe-context
Browse files Browse the repository at this point in the history
(And fix a bit of formatting.)

Fixes dotnet#901.
  • Loading branch information
jskeet committed Aug 17, 2023
1 parent b50bce6 commit 9bfd07e
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion standard/variables.md
Original file line number Diff line number Diff line change
Expand Up @@ -1075,7 +1075,7 @@ There are three ref-safe-contexts:
- Member fields of parameters of class type; and
- Elements of parameters of array type.
A *variable_reference* with ref-safe-context of caller-context can be the referent of a reference return.
A *variable_reference* with ref-safe-context of caller-context can be the referent of a reference return.
These values form a nesting relationship from narrowest (declaration-block) to widest (caller-context). Each nested block represents a different context.
Expand Down Expand Up @@ -1152,6 +1152,10 @@ These values form a nesting relationship from narrowest (declaration-block) to w
> ```
>
> *end example.*
<!-- markdownlint-disable MD028 -->
<!-- markdownlint-enable MD028 -->
> *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*
#### 9.7.2.2 Local variable ref safe context
Expand Down

0 comments on commit 9bfd07e

Please sign in to comment.