docs: 隐式全局写边界注对齐读写登记集并集判定

调用点现传并集命中寄存器(含读侧登记的全局槽),旧注「仅 implicit_global_writes 命中」失实。
This commit is contained in:
2026-09-11 12:44:48 +00:00
parent e59eec884a
commit 3c277b6a73
+2 -1
View File
@@ -1537,7 +1537,8 @@ impl Emitter {
/// session 解析,不依赖 this。 /// session 解析,不依赖 this。
/// ///
/// # 边界与前提 /// # 边界与前提
/// - 仅 `implicit_global_writes` 命中的寄存器调用(未声明标识符写)。 /// - 仅读写登记集并集命中的寄存器调用(未声明标识符写):未声明名谁先引用谁
/// 登记全局槽,读侧与写侧登记同属一个全局槽,写一律须穿透到全局对象。
/// ///
/// # 副作用 /// # 副作用
/// - 定义全局对象数据属性(可写/可枚举/可配置),属性缺失时新建。 /// - 定义全局对象数据属性(可写/可枚举/可配置),属性缺失时新建。