add type ineference test