Здравствуйте, IT, Вы писали:

IT>Мы сейчас не обсуждаем выход из метода. Мы обсуждаем выход за пределы видимости переменной в коде. Насколько я припоминаю, стек выделяется под все ссылки вначале метода. При выходе из блока стек не корректируется, т.е. если переменную явно не обнулить, то она будет болтаться в стеке до выхода из метода.
Всё правильно. При этом GC умеет сопостовлять IP (instruction pointer, полагаю offset внутри метода) с тем, что считать живым на стэке. Поэтому зануливаний ему и не нужно.