I think the inference is only for local `val`s, an...
# getting-started
k
I think the inference is only for local `val`s, and yes they are local per stack frame.