Why is this type not getting picked up?

...I know I know, code screen shot but I need the highlighting It seems like T is not being picked in B where it is being picked up in A The only difference between the two toy functions is with one I am explicitly stating that i_am_a_number is a number (despite intelisense saying it is in fact a number