typescript - การกำหนดประเภทอย่างชัดเจนด้วยตัวกระจาย

สำหรับไวยากรณ์ด้านล่าง,

let [first, ...rest] = [1, 2, 3, 4];
console.log(typeof first); // number
console.log(typeof rest);  // object

แก้ไข:

กรณี [a,b]:number[] หรือ [a, ...b]:number[] แตกต่างกัน คุณต้องการให้ first เป็นแบบ [number,..] แต่ไม่ใช่ส่วนหนึ่งของชนิด number[]

จะพิมพ์ไวยากรณ์นี้อย่างชัดเจนได้อย่างไร? เพราะ let [first, ...rest]:[number, object]=[1, 2, 3, 4]; ใช้งานไม่ได้