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

Associated constant assignment versus equality #2173

Merged
merged 19 commits into from
Feb 1, 2023
Merged

Associated constant assignment versus equality #2173

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
c13be2d
Proposal: associated constant assignment versus equality
zygoloid Sep 13, 2022
6b83179
Fill in remaining sections.
zygoloid Sep 13, 2022
5de17e2
Fix typo.
zygoloid Sep 15, 2022
591a1af
Apply suggestions from code review
zygoloid Sep 15, 2022
a7cac91
Expand and add examples.
zygoloid Sep 17, 2022
5854d0b
Add some more considered alternatives.
zygoloid Sep 17, 2022
2855d57
Presubmit.
zygoloid Sep 17, 2022
1ff011e
Respond to review comments.
zygoloid Sep 21, 2022
b039f41
Add precise rules and termination argument.
zygoloid Sep 22, 2022
98bb5b3
Updates based on implementation experience.
zygoloid Dec 16, 2022
4801b9c
Updates based on review feedback. Precommit.
zygoloid Dec 16, 2022
fcbec2a
Fix examples
zygoloid Dec 16, 2022
b2e59e8
Apply suggestions from code review
zygoloid Dec 16, 2022
5127c26
Update proposals/p2173.md
zygoloid Dec 16, 2022
af7fc9c
Add alternative considered for treatment of `impl as`.
zygoloid Dec 17, 2022
03b5ceb
Update terminology to match #2360 and address some minor review
zygoloid Jan 3, 2023
b1b0b19
Mention early on that we're restricting the syntax of `where A = B`, not
zygoloid Jan 4, 2023
33fa914
Disallow top-level rewrites in `impl as` and also in `is` constraints.
zygoloid Jan 4, 2023
f853310
Address review comments.
zygoloid Jan 31, 2023
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
Loading