6.2.2.5 更新为空（完成记录，值）
具有参数 completionRecord 和 value 的抽象操作 UpdateEmpty 执行步骤如下：
断言：如果 completionRecord.[[Type]] 是 return 或 throw，然后 completionRecord.[[Value]] 不为空（empty）。
如果 completionRecord.[[Type]] 不为空（empty），返回 Completion(completionRecord)。
返回 Completion{ [[Type]]: completionRecord.[[Type]], [[Value]]: value, [[Target]]: completionRecord.[[Target]] }.