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

[WIP] Convert from semantic to syntactic equality #589

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

Conversation

nathanwhit
Copy link
Contributor

@nathanwhit nathanwhit commented Aug 2, 2020

A continuation of #401. Currently only projections and function types are handled, but all tests pass. Still working on the lowering for lifetimes.

@bors
Copy link
Collaborator

bors commented Dec 5, 2020

The latest upstream changes (presumably #660) made this pull request unmergeable. Please resolve the merge conflicts.

Note that reviewers usually do not review pull requests until merge conflicts are resolved! Once you resolve the conflicts, you should change the labels applied by bors to indicate that your PR is ready for review. Post this as a comment to change the labels:

@rustbot modify labels: +S-waiting-on-review -S-waiting-on-author

@Areredify
Copy link
Contributor

Areredify commented Feb 10, 2021

@nathanwhit would you mind me repicking this up?

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.

None yet

4 participants