どのタイミングで型推論が可能か、ってことだから言語仕様の話でしょ？

C#のvarは使えるタイミングをローカル変数に限定してるから、その時点で型が確定している
利便性を上げるだけで特に副作用がない

Swiftはなんでもかんでもletとvarを使わせるから、
現状だと全ソースをコンパイルしないと型が確定しない