Skip to content

changes to dropck #92

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
Closed
lcnr opened this issue May 8, 2023 · 2 comments
Closed

changes to dropck #92

lcnr opened this issue May 8, 2023 · 2 comments
Labels
deep-dive-proposal Proposal for a deep-dive discussion meeting T-types Add this label so rfcbot knows to poll the types team

Comments

@lcnr
Copy link
Contributor

lcnr commented May 8, 2023

Summary

discuss dropck in general: its current behavior and the changes in rust-lang/rust#110288 and rust-lang/rfcs#3417 and

Rationale

the behavior is currently somewhat weird and should be changed. We currently don't have a lot of experts for dropck.
@lcnr lcnr added deep-dive-proposal Proposal for a deep-dive discussion meeting T-types Add this label so rfcbot knows to poll the types team labels May 8, 2023
This was referenced May 8, 2023
Closed
Merged
@BoxyUwU
Copy link
Member

BoxyUwU commented Jul 3, 2023

This was scheduled for 17/07/2023

@BoxyUwU
Copy link
Member

BoxyUwU commented Aug 7, 2023

this meeting was had here

@BoxyUwU BoxyUwU closed this as completed Aug 7, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
deep-dive-proposal Proposal for a deep-dive discussion meeting T-types Add this label so rfcbot knows to poll the types team
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@BoxyUwU @lcnr