odd type inference on this recursive function

[JeffBezanson]

function g(x,p::Int)
       if p<0
           return inv(g(x,-p))
       end
       return x
end

This gets the type Union(Complex128,Int64) for arguments (Int64,Int64). The root cause is this case:

foo(x)=inv(error("?"))

which gets the type Complex128. In this case that's fine since it doesn't return at all, but it's not right in the recursive case.

[JeffBezanson]

fixed in commit b483b55