Typ-Kompatibilitäts-Regeln bei Generics mit overloads

[Der schöne Günther]

Klar ist das bestimmt nirgendwo formalisiert, aber ich finde das wenig überraschend: Angenommen es wären var oder const -Parameter: Da kann er ja schlecht das Byte in die Methode mit dem Word -Parameter stecken, nur weil ein Byte auch in ein Word "passen" würde.