javascript - De ce push afișează eroarea că argumentul de tip 'any[]' nu poate fi atribuit parametrului de tip 'never'?

În acest cod primesc următoarea eroare:

Argumentul de tip 'any[]' nu poate fi atribuit parametrului de tip 'never'

var markers: [];
this.Getlapoints(this.map.getCenter(), 500000).then(data => {
  for (var key in data) {
    Leaflet.marker(data[key].location, //{ icon: greenIcon            }
    ).addTo(this.map).bindPopup(data[key].caption);
    // markers.push(data[key].location.lat,data[key].location.lng);
    // markers.push(data[key].location);

    var lat = data[key].location.lat;
    var lng = data[key].location.lng;
    markers.push([lat, lng]);
  }
  console.log(markers);
});

Răspuns #1

Schimbă asta :

const a = [];

Prin aceasta :

const a = Array();

Răspunsul #2

Cu var markers: [] declari array-ul markers ca având tipul unui array permanent gol. Probabil ai vrut var markers=[] pentru a-l inițializa ca gol, dar pentru a permite adăugarea de elemente.