typeck: Remove old diagnostic that refers to `do`.
Use only the appropriate trait when looking up operator overloads.
resolve: Remove all the operator overloads from trait_map.
resolve: Don't use @RefCell in trait_map, nothing modifies its entries.
auto merge of #12493 : eddyb/rust/saner-overloads, r=nikomatsakis

Fixes #12402.