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

Edition Based Method Disambiguation: Preventing inference ambiguity breakages with extension trait methods #3240

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Prev Previous commit
Next Next commit
clarify relationship with supertrait item shadowing RFC
yaahc committed Mar 7, 2022

Unverified

No user is associated with the committer email.
commit 1982d02a30487a70fb59d348ba58272a402d14b1
7 changes: 7 additions & 0 deletions text/0000-edition-based-method-disambiguation.md
Original file line number Diff line number Diff line change
@@ -182,6 +182,13 @@ would only solve the problem for crates uploaded to crates.io, and the latter
would only solve the problem for traits where the ambiguity is introduced by a
supertrait.

**Note**: While the "Supertrait item shadowing" rfc is listed here as an
alternative it should not necessarily be seen as mutually exclusive, and could
absolutely be used as a complement to this feature. Many of these warnings
could be ambiguity warnings could be resolved by trait precidence and edition
based fallback would only be encountered for the rarer cases of unrelated name
collisions.

# Prior art
[prior-art]: #prior-art