Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Помог бы пример. Но на самом деле мне это неинтересно.

S>> какова будет семантика этого обращения?

ЭФ>Непонятно, почему это важно.
Потому, что это и есть семантика языка. Мелкие решения вроде этих приведут к достаточно существенным последствиям в удобстве использования языка и отладки программ на нём.
ЭФ>Т.е. в одном блоке выигрывает последнее присвоение,
ЭФ>в разных блоках — по другим правилам.
ЭФ>Т.е. в данном случае напечатает "lala", а значение 1 будет потеряно (освобождено).
Ну, ок. Давайте так:

data=1; // целое
if((new Random()).Next(1) == 0)
  data="lala"; // строка
Console.WriteLine(data);

Что выведет программма? Какого типа будет data в строке 4?