The verifier treats the result of the address-of operation as a managed pointer with restricted mutability.

• 验证工具将address-of操作的结果当作可变性受限的托管指针。