def foo
  a = 90
  a = 123
  x = nil
  x = -> { a = a + 1;p a; p x}
  x.call
  a = a + 32
  x.call
  x
end

MTypeInf::inference_main {
  x = foo
  x.call
  x.call
}

#result
#
# 124
# #<Proc:0x20053f80>
# 156
# #<Proc:0x20053f80>
# 157
# #<Proc:0x20053f80>
# 158
# #<Proc:0x20053f80>