reachability export map does not consider overloaded operators

[nikomatsakis]

Right now the reachability export map does not consider overloaded operators. So if you define an overloaded operator in crate A, and use it in crate B, then you run into trouble in crate C that uses crate B (you may need generics and a few other things too). The problem is pretty clear: traverse_expr() does not consider expr_binary, expr_unary, and friends.

[nikomatsakis]

I think that I was wrong about the cause. I created a test case and a provisional fix and the test still breaks :(

[catamorphism]

@nikomatsakis , I see a bunch of commits -- is this fixed yet?

[nikomatsakis]

No.