Skip to content

Commit

Permalink
Merge pull request #1154 from mattheww/2022-02_method_lookup
Browse files Browse the repository at this point in the history
Document pre-Rust-2021 special case for IntoIterator method lookup
  • Loading branch information
ehuss authored Feb 15, 2022
2 parents 7021ce6 + e4964a0 commit 70fc73a
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions src/expressions/method-call-expr.md
Original file line number Diff line number Diff line change
Expand Up @@ -66,6 +66,13 @@ Once a method is looked up, if it can't be called for one (or more) of those rea
If a step is reached where there is more than one possible method, such as where generic methods or traits are considered the same, then it is a compiler error.
These cases require a [disambiguating function call syntax] for method and function invocation.
> **Edition Differences**: Before the 2021 edition, during the search for visible methods, if the candidate receiver type is an [array type], methods provided by the standard library [`IntoIterator`] trait are ignored.
>
> The edition used for this purpose is determined by the token representing the method name.
>
> This special case may be removed in the future.
<div class="warning">
***Warning:*** For [trait objects], if there is an inherent method of the same name as a trait method, it will give a compiler error when trying to call the method in a method call expression.
Expand All @@ -79,9 +86,11 @@ Just don't define inherent methods on trait objects with the same name as a trai
[_Expression_]: ../expressions.md
[_PathExprSegment_]: ../paths.md#paths-in-expressions
[visible]: ../visibility-and-privacy.md
[array type]: ../types/array.md
[trait objects]: ../types/trait-object.md
[disambiguate call]: call-expr.md#disambiguating-function-calls
[disambiguating function call syntax]: call-expr.md#disambiguating-function-calls
[dereference]: operator-expr.md#the-dereference-operator
[methods]: ../items/associated-items.md#methods
[unsized coercion]: ../type-coercions.md#unsized-coercions
[`IntoIterator`]: ../../std/iter/trait.IntoIterator.html

0 comments on commit 70fc73a

Please sign in to comment.