I also raised another related issue with the @autoclosure solution for short-circuiting boolean operations here a while back. I'd definitely support a proposal to add non-short-circuiting versions if it doesn't result in serious type-checker issues!