Incorrect inferred variable value inside ensure block when method body has return statements

[ipvalverde]

Input

→ View on sorbet.run

# typed: strict
extend T::Sig

sig { returns(T.any(Integer, String)) }
def do_some_stuff
  result = T.let(nil, T.nilable(T.any(Integer, String)))

  value = rand(10)
  if value.even?
    return result = value
  end

  result = "Invalid value generated"
ensure

  case result
  when nil
    puts "Nil returned"
  when Integer
    puts "Integer returned"
  when String
    puts "String returned"
  else
    T.absurd(result)
  end
end

Observed output

editor.rb:20: This code is unreachable https://srb.help/7006
    20 |    puts "Integer returned"
            ^^^^^^^^^^^^^^^^^^^^^^^
    editor.rb:19: This condition was always falsy (FalseClass)
    19 |  when Integer
               ^^^^^^^
  Got FalseClass originating from:
    editor.rb:19:
    19 |  when Integer
               ^^^^^^^
Errors: 1

Expected behavior

The code should work as expected since, when the code execution reaches the ensure block the variable can have either String or Integer value (even nil in case an error happens). Apparently the current code just takes the last assignment to the variable and treat that as the truth about the variable's value.

---