В этом коде не объявлена переменная
value,
но мы все же можем использовать ее для хранения значения, переданного вызывающим кодом, и для установки защищенного поля
zipCode.
Генерируя MSIL для метода-установщика, компилятор С# вводит эту переменную как аргумент метода
set_ZipCode.
В сгенерированном MSIL этот метод принимает как аргумент строковую переменную:
.method public hidebysig specialname instance void
set_ZipCode(string 'value') cil managed {