Hi,

I am having this problem which I can solve best if I could find out the inferred type of certain variables in a function. Basically, I am looking for a generalized `Core.Compiler.return_type`

for arbitrary variables, not just the returned ones. Related thread: Ridiculous idea: types from the future. Unfortunately, in my case it is not a simple map so I cannot use the solution from there. The array buffer would work for me, but is less than ideal. I thought of manipulating the function with a macro (thatâ€™s an option) to return the variables I am interested in, then use `Core.Compiler.return_type`

but then I have to worry about multiple return points in the original function, which is not robust I feel due to `throw`

s, macros, etc which may be in the function body. Any suggestions? A toy MWE is simple:

```
function f(x)
a = x * 2
y = a / 3 # what is the inferred type of y?
return
end
```