Template function/class visualization of selection/instatiation
Given a set of functions with the same name some of which may be specializations of a template it would be great to be able to visualize somehow how the compiler decides which function to use, or why none were viable or why there were more than one leading to ambiguity. I at least find it hard to keep track of the overload set especial now things like SFINAE is used more often.
This is also the case for template classes where you can have partial specialization as well.
Just being able to show all possible candidates and being able to click on them to jump to the definitionwould be really helpful.