David Judd
David Judd
#### Input [→ View on sorbet.run](https://sorbet.run/#%23%20typed%3A%20true%0A%0Aclass%20A%0A%20%20extend%20T%3A%3ASig%20%0A%0A%20%20sig%20%7Breturns(Integer)%7D%0A%20%20def%20foo%0A%20%20%20%20%5B'a'%2C%20'b'%5D.inject(1)%20do%20%7Ci%2C%20s%7C%0A%20%20%20%20%20%20i%0A%20%20%20%20end%0A%20%20end%0A%0A%20%20sig%20%7Breturns(Integer)%7D%0A%20%20def%20bar%0A%20%20%20%20i%20%3D%20T.cast(1%2C%20T.untyped)%0A%0A%20%20%20%20%5B'a'%2C%20'b'%5D.inject(i)%20do%20%7Ci%2C%20s%7C%0A%20%20%20%20%20%20i%0A%20%20%20%20end%0A%20%20end%0Aend%0A) ```ruby class A extend T::Sig # Correctly typechecks sig {returns(Integer)} def foo ['a', 'b'].inject(1) do |i, s| i end end # Has a false-positive...