なぜRustはローカル定数の型推論を許可しないのですか？

Question

モジュールレベルの定数の型推論が許可されない理由を理解しています（型推論が関数に対して許可されないのと同じ理由）。しかし、なぜRustは型の推論をローカル定数に許さないのですか？

fn main() { 
    const N = 1; // error: expected `:`, found `=` 
    let n = 1; // OK 
} 

一貫性よりも深刻な理由はありますか？

Answer 1

私が知っている限り、機能内と外部の区別はありません。const彼らはどちらも同じものなので、同じルールに従います。