型推論の未対応箇所について。
以下のエラーはこの問題に関連している。
関数の返値型は型推論できない。
これは の他の多くの言語と同じである。
(一部の言語、Haskell や ML では関数の内容から返値型を推論できる。)
const または static のアイテムは型推論が効かない。
これは設計思想を反映しての仕様らしい。
、この仕様には賛否両論がある。
Rust を含めた多くの言語、Java や C# などでは型推論はローカルな文脈にのみ適用され、グローバルなアイテムでは型の明示が必要になる (Haskell や ML で関数の返値型まで推論できる理由の一つはこの制限がないためでもある)。
const や static の文脈にも型推論を適用可能にする RFC が提案されている。
ただし、これは少なくともすぐに承認されるような流れではない。
const の仕様static の仕様