&gt;It&#x27;s just a bug [..]<p>&gt;Other similar languages have had pathological cases in type inference, too<p>These two statements are slightly contradictory.  If this is common, then it&#x27;s not just a bug, but a difficulty in implementing type inference.