A type inference limitation warning

2024-05-23

Used in "The Fallacy of Futility: Debunking the Myth of Useless Unit Tests in Statically Typed Languages"