Ограничения на неявную типизацию

В своей книге Джон Скит ссылается на 7 ограничений на неявную типизацию. Мне нужно пояснить два последних:

A. Тип, который вы хотите, чтобы переменная имела, является типом времени компиляции выражения инициализации.
B. Выражение инициализации не включает объявляемую переменную.

Книга охватывает материал в том же порядке, в котором он был выпущен (C# 2 перед C# 3). На данный момент C# 4 еще не введен, поэтому я делаю предположение, что Aне относится к dynamic. Итак, когда тип времени компиляции будет отличаться от типа времени выполнения выражения инициализации?

Что касается B, когда выражение инициализации может включать объявляемую переменную?