It does infer the type statically, but, I guess, it does call emis_vals. It has to, because emis_vals is called on mutable arguments. For all the compiler knows, it may have been called for side effects.
2 Likes