何時將數字文字分配給默認類型？

Question

我玩弄一些代碼，並提出以下意見：

let x = 1; 
let() = x; 

error: mismatched types [E0308] 
note: expected type `_` 
note:  found type `()` 

這顯然會失敗，但我期待錯誤地指出，預期的類型是i32，不_。我發現同樣的情況發生在未指定類型的浮動字面上，例如1.0。

這是爲什麼？不應該將該類型稱爲默認類型？

更新：鐵鏽1.12，錯誤消息是更多的信息：

expected integral variable, found() 

= note: expected type `{integer}` 
= note: found type `()` 

Answer 1

鏽不只是從初始化類型推斷，但是從每次使用。因此，它的類型檢查器必須查看變​​量的每一種用法來決定它是什麼類型，並且隨着它的推進需要推斷和檢查類型。

這意味着let() = x;是同一過程的一部分。這是一個使用x，因此必須檢查，看看具體類型x可能是。在編譯器仍然試圖推導出x類型的同時發現沒有可能的類型匹配()這一事實，因此沒有選擇默認值，因爲缺省值僅在編譯器查看所有用法時使用的x，並沒有發現任何東西。