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

Overlap rules #72

Open
2 of 5 tasks
Tracked by #49
nikomatsakis opened this issue Jun 25, 2022 · 1 comment
Open
2 of 5 tasks
Tracked by #49

Overlap rules #72

nikomatsakis opened this issue Jun 25, 2022 · 1 comment

Comments

@nikomatsakis
Copy link
Contributor

nikomatsakis commented Jun 25, 2022

We need to model the overlap rules (excluding, for now, specialization). These rules work roughly like this:

Here is a list of work items:

@nikomatsakis nikomatsakis mentioned this issue Jun 25, 2022
4 tasks
@nikomatsakis
Copy link
Contributor Author

nikomatsakis commented Aug 17, 2022

The branch 2022-08-coherence includes some preliminary work here:

It introduces an overlap check and checks that the various impls that are in scope do not have types that successfully unify.

However, it has some problems:

  • it fails to detect two instances of the same impl and report an error
  • it doesn't include the check for where-clauses that are not provable as true

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

No branches or pull requests

1 participant