Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Synthesize ctor_move_dtor from ctor and move_dtor when necessary. #515

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Synthesize ctor_move_dtor from ctor and move_dtor when necessary. #515

wants to merge 2 commits into from
+28,052 −27,792

Conversation

jemc
Copy link

@jemc jemc commented Oct 26, 2021

When ctor_move_dtor is not set, but move and dtor are set,
but move_ctor is not set, then use move_dtor to synthesize it.

@jemc
Synthesize ctor_move_dtor from ctor and move_dtor when necessary.
e73abab 
When `ctor_move_dtor` is not set, but `move` and `dtor` are set,
but `move_ctor` is not set, then use `move_dtor` to synthesize it.
@jemc
Switch from using move to move_dtor in assign_ptr_w_id function.
4a887ed 
See this discord conversation for more background:
https://discord.com/channels/633826290415435777/633826290415435781/902342988158623744
@SanderMertens SanderMertens force-pushed the master branch 3 times, most recently from 07e1c0f to 5b6eef9 Compare May 31, 2022 18:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jemc