Overview
Explore the intricacies of method selection in Rust programming through this comprehensive 1-hour 14-minute conference talk. Delve into the mechanics behind `.call()` operations, understanding their purpose, challenges, and inner workings. Learn about introtype checking, method calls, probing techniques, and special rules for inherent methods. Examine extension candidates, pick algorithms, autoref considerations, and normalization processes. Gain insights into handling ambiguities, considering multiple candidates, and addressing additional considerations in method selection. By the end of this talk, acquire a deeper understanding of Rust's method selection process and its impact on efficient programming.
Syllabus
Intro
type checking
method calls
method probing
bad type
probe
probe scope
recipe
inherent methods
special rules
extension candidates
pick
pickcore
autoref
cons
failure
ambiguity
normalize
return type
consider candidates
consider extension methods
pick all method
pick results
additional consideration
assembly
confirm
Taught by
Rust