4 ms·
It's just a bug. It's pretty easy to accidentally have such cases in a generic type inference algorithm, particularly one with implicit conversions. Other simil
by pshc 10y ago
It's just a bug. It's pretty easy to accidentally have such cases in a generic type inference algorithm, particularly one with implicit conversions. Other similar languages have had pathological cases in type inference too.
- mpweiher 10y ago>It's just a bug [..] >Other similar languages have had pathological cases in type inference, too These two statements are slightly contradictory. If this is common, then it's not just a bug, but a difficulty in implementing type inference.