高亮显示对属性的写入权限引用,这些属性通过 #[Immutable] 声明的写入权限范围比引用范围更严格。