that is correct and is the exact point of the article which you unfortunatelly completely missed

You are right. I missed it. Maybe I so was enchanted by all those advertisements that kept relentlessly popping up in my face that I missed the point of the actual content. Maybe I got distracted by having to click "Next" again and again because I could find no option to display the whole article on one page.

what is your definition of type inference then

I think I've found the definitive definition of "type inference" on page 6 of "Type Systems Demystified" by Nikos Vaggalis:

type inference: used extensively by Linq where a lot of times you cannot use explicitly typing, so you let the compiler decide

If you find a better definition, please let us know.