આ રીતે, કમ્પાઇલર શોધે છે કે જે જગ્યાએ પરિમાણ ટી અવેજી હોઇ શકે છે અથવા સંખ્યા વર્ગ અથવા તેના પેટા વર્ગને એક છે.