думал, всё, что находится в {}, там и остается, не важно, условии, функции, классы.
ну оно и остается внутри скобочек фигурных, просто объявление переменной происходит вне блока if, поэтому с данной переменной можно делать что угодно внутри этих скобок и внутри if
вот если бы внутри if она была бы создана - тогда вне блока if переменной бы уже не существовало