Feature request: Stop duplicating defaulted methods #1032
Description
Back in the day we decided to duplicate defaulted methods (like Ord::min or Iterator::skip) 1. to make call graphs simpler and 2. possibly because we weren't handling clauses well enough not to. We handle clauses well now, let's stop duplicating defaulted methods (could easily be added again as a later pass if needed).