Commit 6a6295d
committed
Add admonition about the desugaring of destructuring
For our purposes in describing capture paths, we define place
projections. For the text that follows in the sections below to hold,
we need destructuring to be treated as a place projection for this
purpose.
However, it might seem surprising for destructuring to be in this
list. While it is believed to have the same effect as a projection
expression, we might not consider an instance of pattern destructuring
to be a projection expression exactly.
To better contextualize this, let's add an admonition that mentions
that pattern destructuring desugars into the kind of field accesses
that we would more likely think about as projection operations.1 parent 54abacc commit 6a6295d
1 file changed
+3
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
103 | 103 | | |
104 | 104 | | |
105 | 105 | | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
106 | 109 | | |
107 | 110 | | |
108 | 111 | | |
| |||
0 commit comments