Type use probably doesn't work right with overloaded operators

[pcwalton]

Overloaded operators probably need to propagate type uses through via mark_for_method_call.

[graydon]

Can you elaborate on the implications of this? What's the current failure mode?

[pcwalton]

Probably we will see mysterious segfaults due to incorrect collapse of template instantiations involving overloaded operators.

[graydon]

noncritical for 0.6, de-milestoning

[Aatch]

@pcwalton do you have a concrete example of this? "probably" isn't really specific enough.

[emberian]

Visiting for triage; nothing to add except a @pcwalton

[thestinger]

Closed by #9538.