L'inférence de type en Java est locale ; la portée sur les contraintes rassemblées et résolues est limitée à une partie étroite du programme, telle qu'une expression ou une déclaration unique.