תהליך שבו הקומפיילר קובע את סוג הנתונים של משתנה מקומי זה הוכרז ללא הצהרה סוג נתונים מפורשים. הסוג היא להסיק מן הערך ההתחלתי עבור המשתנה.