Clarify which method we're selecting

Thanks to fbstj for pointing out this potential ambiguity.
This commit is contained in:
Travis Cross 2025-01-04 18:54:28 +00:00
parent dc3e2fd2e6
commit 9d34dc028e
1 changed files with 1 additions and 1 deletions

View File

@ -6,7 +6,7 @@
# Summary
[summary]: #summary
When method selection encounters an ambiguity between two trait methods when both traits are in scope, if one trait is a subtrait of the other then select that method instead of reporting an ambiguity error.
When method selection encounters an ambiguity between two trait methods when both traits are in scope, if one trait is a subtrait of the other then select the method from the subtrait instead of reporting an ambiguity error.
# Motivation
[motivation]: #motivation