Inconsistency in Type Inference?

Oh. I didn't know that. I tried looking for a discussion about before starting this thread and again now, but I wasn't able to find any. Can you point me towards a thread or search term which will help me find the thread?

Edit: Just found this