Hi,

I would like to calculate the typeof an expression without running it. For example:

```
function f(x::Int)
y = x+3
if x > 0
y+=1
else
y-=3
end
x+y
end
```

for example in a macro i am working with the expressions of this function and is there a way to calculate y+=1 to be type of Int?

Thanks