chalk
chalk copied to clipboard
[WIP] Convert from semantic to syntactic equality
A continuation of #401. Currently only projections and function types are handled, but all tests pass. Still working on the lowering for lifetimes.
:umbrella: 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
@nathanwhit would you mind me repicking this up?