add a TODO test related to #50 (type inference for empty arrays)