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.

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

trait system refactor initiative update #1120

Merged
merged 8 commits into from
Jul 18, 2023

Conversation

lcnr
Copy link
Contributor

@lcnr lcnr commented Jul 8, 2023

intend to wait until at least tuesday to look over this myself again and also give some time for the rest of @rust-lang/initiative-trait-system-refactor to have a look. cc @rust-lang/types

@lcnr lcnr force-pushed the trait-system-refactor-update branch from 1b59bdd to 5749a3a Compare July 8, 2023 18:57
@lcnr
Copy link
Contributor Author

lcnr commented Jul 16, 2023

alright, would like to merge this tomorrow and changed the date to reflect that.

Copy link
Member

@jackh726 jackh726 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some mix of nits and larger editorial thoughts

@lcnr
Copy link
Contributor Author

lcnr commented Jul 17, 2023

alright, went through @jackh726 and this is ready for merge again

@jackh726 jackh726 merged commit 86cb3a8 into rust-lang:master Jul 18, 2023
1 check passed
@lcnr lcnr deleted the trait-system-refactor-update branch July 18, 2023 13:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants