Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

15. Revisit terms "owner" and "value holder" #178

Open
kirtchev-adacore opened this issue Jul 28, 2022 · 0 comments
Open

15. Revisit terms "owner" and "value holder" #178

kirtchev-adacore opened this issue Jul 28, 2022 · 0 comments

Comments

@kirtchev-adacore
Copy link
Contributor

No description provided.

@jonas-schievink jonas-schievink mentioned this issue Sep 30, 2022
Merged
bors-ferrocene bot added a commit that referenced this issue Sep 30, 2022
@bors-ferrocene
Merge #327
ffb3e51 
327: Remove the term "value holder" r=kirtchev-adacore a=jonas-schievink

Part of #178 (not yet sure what to do about "owner")

Since only local variables participate in initialization tracking, and ownership, but the term *value holder* includes consts and statics, the term is incorrect here.

This is still inaccurate, since borrows and initialization is tracked on a per-field basis in some cases, but already an improvement.

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@kirtchev-adacore