crossrealm_b source realm
3
7
func GetObject
Actionfunc IncrGlobal
ActionNOTE should be non-crossing
func IncrementObject
crossing Actionfunc SetClosure
crossing Actionfunc SetObject
crossing Actionfunc TryBankerOnPrevious
crossing ActionTryBankerOnPrevious attempts to construct a RealmSend banker over the CALLER via cur.Previous() (which is NOT IsCurrent). NewBanker must reject it — otherwise a callee could set pkgAddr to the caller's address and drain it through the pkgAddr==from gate. Regression guard for the IsCurrent check in NewBanker.
func TrySubOn
ActionTrySubOn attempts to mint a sub-realm token on a passed-in realm value. Non-crossing (`_ int` discriminator), so the caller's cur remains the topmost crossing cur — but borrow rule #1 runs this body with m.Realm = crossrealm_b, so rlm.Sub must reject: a foreign realm must not mint sub-identities in the caller's namespace.
3
- chain/banker stdlib
- chain/runtime/unsafe stdlib
- gno.land/r/tests/vm/crossrealm realm