为什么Rust不允许对局部常量进行类型推断？

Question

我了解为什么不允许对模块级常量进行类型推断（与为什么不允许函数进行类型推断的原因相同）。但是，为什么Rust完全不允许对本地常量进行类型推断？

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

除了一致性，还有其他更深刻的原因吗？

Answer 1

就我所知，const一个函数的内部和外部的函数之间没有区别。他们都是同一件事，所以他们遵循相同的规则。