Fixed what happens when param type known

No longer tries to infer further