Tak zrovna tenhle příklad není moc přesvědčivý. Vlastně to dělá +- to samé jako třeba SAL anotace v Cčku. Jen je to teda pro náhodného kolemjdoucího podstatně složitější na pochopení.
A tu kontrolu na rozsah pole to jen vyšoupne ven, kde nějak (zajímavá otázka je jak) musím říct překladači že to pole a ten index, které přišly z různých míst patří dokupy.