SegueJEP 286: Inferência de tipo variável local descrição

Gostaria de saber qual é o motivo para a introdução de uma restrição, como:

Main.java:199: error: cannot infer type for local variable k

    var k = { 1 , 2 };
        ^   
(array initializer needs an explicit target-type)

Então, para mim, logicamente, deve ser:

var k = {1, 2}; // Infers int[]
var l = {1, 2L, 3}; // Infers long[]

Porque o compilador Javapode já inferir corretamente o tipo de uma matriz:

void decide() {
    arr(1, 2, 3);  // call  void arr(int ...arr)
    arr(1, 2L, 3); // call  void arr(long ...arr)
}

void arr(int ...arr) {
}

void arr(long ...arr) {
}

Então, qual é o impedimento?