Some time back in an HN thread about programming languages I read a response in a thread about inference which said that a particular feature doesn't really save on typing. And it seemed ludicrous. Until I realised the author of the comment has seen the word "typing" (which everybody else in the thread is reading as "The thing you do with a keyboard") and they're interpreting it as "The thing the compiler does". And yeah, with that perspective of course inference isn't saving typing, all your variables still have types, we were just happy because we spent less time operating the keyboard to write a program. Their comment was not wrong and we weren't correcting them, we'd just understood things differently!
Edited to add, link: https://news.ycombinator.com/item?id=36593110