Inconsistent closure type inference with conditional branch type restriction

[RomainFranceschini]

def foo
  yield
end

bar = rand > 0.5 ? 42 : nil
if b = bar
  c = ->() { puts "hello #{b.succ}" } # => undefined method 'succ' for Nil (compile-time type is (Int32 | Nil))
  foo(&c)
end

Since b is restricted to Int32 in this condition branch, the closure should also capture it as an Int32, not (Int32 | Nil).

Probably related to: #6037

[asterite]

Duplicate of #3093

[RomainFranceschini]

Sorry I missed the original issue

[asterite]

@rumenzu No problem, it serves as a count of how many people are affected by the bug :-)