Why should this short-circuit? Should it maybe be an error instead?