为什么if-block中的变量可以初始化？

Question

y已在if块中定义，它将为nil。如果删除它，则会出错：＆＃34;未定义的局部变量或方法`y＆＃39; for main：Object＆＃34;。

if false
  y = 'hi'
end
puts y

为什么if-block中的变量可以初始化？