...
Sitiuasjonen er nokså tilsvarende med deklarasjoner og tilordninger. Når en deklarerer en variabel (eller felt eller parameter) til å være av en type T, så sier en at denne variablen bare kan tilordnes instanser av T, eller mer presist, at den bare kan tilordnes verdien av uttrykk som har typen T. Koden I koden under vises ulike tilfeller og kommentaren angir i kommentaren om det er lov eller ikke og hvorfor.
...