From 3c277b6a73cf590e5c06d5a5654805e09fa07981 Mon Sep 17 00:00:00 2001 From: pjh456 <147148383@qq.com> Date: Fri, 11 Sep 2026 12:44:48 +0000 Subject: [PATCH] =?UTF-8?q?docs:=20=E9=9A=90=E5=BC=8F=E5=85=A8=E5=B1=80?= =?UTF-8?q?=E5=86=99=E8=BE=B9=E7=95=8C=E6=B3=A8=E5=AF=B9=E9=BD=90=E8=AF=BB?= =?UTF-8?q?=E5=86=99=E7=99=BB=E8=AE=B0=E9=9B=86=E5=B9=B6=E9=9B=86=E5=88=A4?= =?UTF-8?q?=E5=AE=9A?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 调用点现传并集命中寄存器(含读侧登记的全局槽),旧注「仅 implicit_global_writes 命中」失实。 --- crates/oxide_emit/src/emit.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/crates/oxide_emit/src/emit.rs b/crates/oxide_emit/src/emit.rs index 8d1476ea..0db842f0 100644 --- a/crates/oxide_emit/src/emit.rs +++ b/crates/oxide_emit/src/emit.rs @@ -1537,7 +1537,8 @@ impl Emitter { /// session 解析,不依赖 this。 /// /// # 边界与前提 - /// - 仅 `implicit_global_writes` 命中的寄存器调用(未声明标识符写)。 + /// - 仅读写登记集并集命中的寄存器调用(未声明标识符写):未声明名谁先引用谁 + /// 登记全局槽,读侧与写侧登记同属一个全局槽,写一律须穿透到全局对象。 /// /// # 副作用 /// - 定义全局对象数据属性(可写/可枚举/可配置),属性缺失时新建。