CURRENT STATUS:

A lot of work has been done and there are only a few remaining tasks.

• Modify method dispatch to use trait machinery #17918: Modify method dispatch to use trait selection machinery, so that multi/conditional-dispatch works.
• Implement where clauses #17657: Generalized where clauses
• Orphan rules in coherence do not account for multidispatch #18222: Orphan rules
• Remove the remaining uses of old_orphan_rules #19470: Coherence rules

EXAMPLES:

Here are some issues that contain test cases that ought to work once this is done:

• Regression in method resolution through Deref #17594

ORIGINAL TEXT:

This is an umbrella issue for collecting together issues with the current trait system. We need to figure out precisely what the solutions will be and discuss at the retreat, but it's at least useful to know what the problems are.