Попытался индексировать массив типом uint:

module Program
{
    private Main() : void
    {
        def arr = array[1, 2, 3];
        def a = arr[1u];
    }
}

Получил странное сообщение об ошибке:
Error: expected System.UInt32, got int in array index: the types int and System.UInt32 are not compatible [simple unify]

Во первых, всё должно быть наоборот:
Error: expected System.Int32, got uint in array index: the types uint and System.Int32 are not compatible [simple unify]

И не понятно, почему нельзя индексировать массивы ничем кроме интов? Это создаёт действительно серьёзные проблемы при выводе типов.