Untersuchung von `Typ` und` # `Schlüsselwörtern in Scala

F-begrenzte Quantifizierung durch Typelement anstelle von Typparameter?

Ich möchte einen Typparameter in ein Typparameter verschieben.Dies ist der Ausgangspunkt, der funktioniert:

Wie kann man aus einem Projektionstyp den richtigen Typparameter ableiten?

Ich habe einige Probleme damit, dass Scala aus einer Typprojektion den richtigen Typ ableitet.Folgendes berücksichtigen: