TypeScriptの配列/Tupleの理解できない挙動

Question

const a: [number, ...number[]] = [1, 2, 3]

はエラーが出ないのに、

const arr = [1, 2, 3]
const a: [number, ...number[]] = arr

がコンパイルエラーになるのは何故なのでしょうか？
どちらも同じnumber[]を代入しているのに、変数に入れたときのみエラーになる理由がわかりません。

Answer 1

型推論によって arr: number[] となるからです。
このコードならエラーになりません。

const arr: [number, ...number[]] = [1, 2, 3];
const a: [number, ...number[]] = arr;

number[] と [number, ...number[]] は一致しません。
例えば [] は両方の型に当てはまりますか？

Comments

[ts-learner]

ありがとうございます。
変数に入れたときに型推論され、その型が[]かもしれないため[number, ...number[]]には代入できないと理解しました。