Undo change in TypeInference

Returned "Ambiguous call" exception in TypeInference