finished Call in typeInfer