It's better to allocate a new ConstExpr and return it, rather than mutating an argument, for readability.