feat: support bounded structs

[wischli]

Mashnet node companion

• Fixes build issue of feat: add types19 #13 which did not catch my attention (see CI)
• Bumps TS and Polkadot types versions

[rflechtner]

I may be wrong, but I'd expect this to result in a type for the DidUpdate where you cannot actually set any keys or services when selecting Change, but instead you are faced with a value-less enum.
What should definitely work is the following, but that's not pretty:

  // We need to specify the two variants of the generic DidFragmentUpdateAction separately
  DidFragmentUpdateAction_DidVerificationKey: {
    _enum: {
      Ignore: "Null",
      Change: "DidVerificationKey",
      Delete: "Null",
    },
  },
  DidFragmentUpdateAction_ServiceEndPoints: {
    _enum: {
      Ignore: "Null",
      Change: "ServiceEndPoints",
      Delete: "Null",
    },
  },

  ...
 
  DidUpdateDetails: {
    newAuthenticationKey: "Option<DidVerificationKey>",
    newKeyAgreementKeys: "BTreeSet<DidEncryptionKey>",
    attestationKeyUpdate: "DidFragmentUpdateAction_DidVerificationKey",
    delegationKeyUpdate: "DidFragmentUpdateAction_DidVerificationKey",
    publicKeysToRemove: "BTreeSet<KeyIdOf>",
    serviceEndpointsUpdate: "DidFragmentUpdateAction_ServiceEndpoints",
  },

[wischli]

I may be wrong, but I'd expect this to result in a type for the DidUpdate where you cannot actually set any keys or services when selecting Change, but instead you are faced with a value-less enum.

I suppose you are right.

[rflechtner]

This is what we would want:

[wischli]

I may be wrong, but I'd expect this to result in a type for the DidUpdate where you cannot actually set any keys or services when selecting Change, but instead you are faced with a value-less enum.
What should definitely work is the following, but that's not pretty:

  // We need to specify the two variants of the generic DidFragmentUpdateAction separately
  DidFragmentUpdateAction_DidVerificationKey: {
    _enum: {
      Ignore: "Null",
      Change: "DidVerificationKey",
      Delete: "Null",
    },
  },
  DidFragmentUpdateAction_ServiceEndPoints: {
    _enum: {
      Ignore: "Null",
      Change: "ServiceEndPoints",
      Delete: "Null",
    },
  },

  ...
 
  DidUpdateDetails: {
    newAuthenticationKey: "Option<DidVerificationKey>",
    newKeyAgreementKeys: "BTreeSet<DidEncryptionKey>",
    attestationKeyUpdate: "DidFragmentUpdateAction_DidVerificationKey",
    delegationKeyUpdate: "DidFragmentUpdateAction_DidVerificationKey",
    publicKeysToRemove: "BTreeSet<KeyIdOf>",
    serviceEndpointsUpdate: "DidFragmentUpdateAction_ServiceEndpoints",
  },

I tried to find a solution with generics but nothing worked. I pushed your suggestion for now.

Could you do a review @rflechtner? I would like to do a runtime upgrade on Peregrine Stg and Prod tomorrow but need the types to be published before.

[rflechtner]

There is a typo, and I noticed we are missing a type for DelegationStorageVersion.

[rflechtner]

TYPO ALAAARM 🚨⏰🚨🔔🚨 😱

[wischli]

Good catch. StakingStorageVersion was also missing 🥲 Fixed in fa98fac.