Thanks for that! They are not lost or ignored, they are carefully collected by the team and they may be fixed/implemented in one of the next versions. Type inference, overload resolution, and resolve in general is very complex subsystem, it needs careful design (if issues don’t look like bugs in the context of existing design) and often are subject of backward compatibility limitations.