endojs / endo

Endo is a distributed secure JavaScript sandbox, based on SES
Apache License 2.0
804 stars 71 forks source link

fix(patterns): pass type parameter from interface guard to payload #1771

Closed erights closed 1 year ago

erights commented 1 year ago

The previous endo release added getInterfaceGuardPayload so that agoric-sdk could start to use it, rather than accessing the fields of an interface guard directly. This paves the way for https://github.com/endojs/endo/pull/1712 . However, because the type of getInterfaceGuardPayload did not propagate the type parameter from the guard argument to the returned payload, the https://github.com/Agoric/agoric-sdk/pull/8339 attempt to switch to it causes type errors due to the loss of this type information.