It's misleading to say this *might* solve the issues. Eliminating the current crippled closures by defining them in terms of other existing features **would** eliminate special cases. You're stating the current system is confusing again, but I don't buy it. Feigning misunderstanding of inherited mutability while still leaving the entire thing intact with new complexity on top is not a convincing argument.