メソッドと同じ書き方で静的メソッドを呼べます。オーバーロードと同種の「解決」が必要になります。メソッドの方が優先です。拡張メソッドの方を呼びたければ、本来の静的メソッドとして呼ぶ必要があります。構文にはいくつか、左辺値からの型推論をするものがあります。推論に推論を重ねることになるので、これらの型を引数にした場合、オーバーロード解決ができない場合が増えます。varを使った暗黙的変数宣言では自動的にstring扱いされます。そのため、オーバーロード解決でも特にキャストがない場合、stringが優先されます。Console.WriteLine("FormattableString");}同様に、ラムダ式は、デリゲート型で受け取る場合と式ツリーで受け取る場合で異なる挙動になります。こちらは推論は効かず、オーバーロード解決もできなくなります。推論が働きつつ、オーバーロード解決できる場合も多いです。ラムダ式ラムダ式の型推論は相当優秀で、結構複雑なオーバーロード解決もできたりします。