Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add an acknowledgments section for the init accessors proposal.
  • Loading branch information
hborla committed May 30, 2023
commit 50ae97a40682c9e63aab75992fc9684ce48ac0a7
4 changes: 4 additions & 0 deletions proposals/NNNN-init-accessors.md
Original file line number Diff line number Diff line change
Expand Up @@ -356,3 +356,7 @@ This syntax choice is misleading because the effects look like function paramete
### `init` accessors for local variables

`init` accessors for local variables have different implications on definite initialization, because re-writing assignment to `init` or `set` is not based on the initialization state of `self`. Local variable getters and setters can also capture any other local variables in scope, which raises more challenges for diagnosing escaping uses before initialization during the same pass where assignments may be re-written to `init` or `set`. As such, local variables with `init` accessors are a future direction.

## Acknowledgments

Thank you to TJ Usiyan, Michel Fortin, and others for suggesting alternative syntax ideas for `init` accessor effects; thank you to Pavel Yaskevich for helping with the implementation.