calling already sets the argument type so now we set the locals type too- symmetry (lots of tests affected)