bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Remove text on method matching, which is now out of date.

Browse source
This commit is contained in:
Niko Matsakis 2014-12-15 05:45:14 -05:00
parent dab6e70e03
commit 0b88c5d392
1 changed files with 0 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/librustc/middle/traits/doc.rs
View file

@ -272,13 +272,6 @@ nested obligation `int : Bar<U>` to find out that `U=uint`.
It would be good to only do *just as much* nested resolution as
necessary. Currently, though, we just do a full resolution.
## Method matching
Method dispach follows a slightly different path than normal trait
selection. This is because it must account for the transformed self
type of the receiver and various other complications. The procedure is
described in `select.rs` in the "METHOD MATCHING" section.
# Caching and subtle considerations therewith
In general we attempt to cache the results of trait selection. This