Mypy should report why each possible overload doesn't match

Feature

Currently when no overload is valid for a function call mypy just lists the overloads with no explanation for why each one doesn't work:

No overload variant of "target" matches argument types "TargetType", "str", "ClobberConfig"  [call-overload]
Possible overload variants:
   def target(*, typ: TargetType, path: str | Path) -> Target[NoConfig]
   def target(*, target_path: TargetPath) -> Target[NoConfig]
   def [ConfigT <: Config] target(*, target_path: TargetPath, config: ConfigT) -> Target[ConfigT]
   def [ConfigT <: Config] target(*, typ: TargetType, path: str | Path, config: ConfigT) -> Target[ConfigT]

Pitch

However, in this scenario I've manually verified that the last overload really should work. It's possible that it's a mypy bug, or it's possible that my reasoning is wrong, but if my reasoning is wrong it would be way more obvious if mypy told me why it's rejecting the overload I think should be accepted (the last one in this case). There's precedent too, C++ compilers nowadays do this for overloads and it greatly helps with understanding more complex (especially Generic) code.

Beginne damit, den Beispielaufruf mit Überladung zu reproduzieren, und untersuche die Diagnosen von mypy zur Überladungsauflösung. Verfolge, wo die Meldung "Possible overload variants" erzeugt wird; abgeschlossen ist die Aufgabe, wenn berichtet wird, warum jeder Kandidat abgelehnt wird, wobei das bestehende Verhalten beibehalten wird, wenn eine Überladung passt.