feat: infer parameter types from function call return types

feat: infer parameter types from function call return types #6122