En proces, hvor kompileren udleder typen af en lokal variabel, der erklæres med nøgleordet var i C# eller uden en As-delsætningen i Visual Basic. Kompileren udleder typen af variabel fra type ytringsfriheden ved initialisering.