Closed Gama11 closed 5 years ago
Stumbled over this while looking at the code. As far as I can tell, the two behave exactly the same here, so there isn't really a point to conditionalizing? Any is nicer in theory of course, but not anymore once you have to conditionalize it. :)
Any
Well why not
Stumbled over this while looking at the code. As far as I can tell, the two behave exactly the same here, so there isn't really a point to conditionalizing?
Any
is nicer in theory of course, but not anymore once you have to conditionalize it. :)