Warum kann der Compiler diese generischen Typen nicht auflösen?

Bei der generischen Methodentypinferenz werden nicht absichtlich von den Integritätsbedingungen abgezogen. Stattdessen werden Ableitungen von den -Argumenten und den formalen Parametern gemacht, und dann werden die Argumente des abgeleiteten Typs gegen die Einschränkungen geprüft.

Für eine detaillierte Diskussion einiger Design-Probleme rund um Constraints und Methodensignaturen, darunter einige Dutzend Leute, die mir sagen, dass ich falsch liege zu denken, dass das existierende Design sinnvoll ist, siehe meinen Artikel zu diesem Thema:

Ссылка

_{Dies ist eine exakte Kopie von Eric Lipperts Antwort auf eine ähnliche Frage .
Ich entschied mich, es zu kopieren, weil diese Frage prägnanter und klarer ist.}