I think you're right this definition could just override iflet. It would be an obscure case where you wouldn't want var binding to the other exprs.