After semantic analysis of the function body, try to infer scope / return on the parameters
function declaration that was analyzed
final function type. funcdecl.type started as the 'premature type' before attribute inference, then its inferred attributes are copied over to final type f
See Implementation
After semantic analysis of the function body, try to infer scope / return on the parameters