Typegen fails when handling Sway type aliases

petertonysmith94 commented 3 weeks ago

Summary

We can define alias types in Sway. These are getting incorrectly transpiled and therefore causing the following error while running typegen:

FuelError: Type not supported: (struct std::asset_id::AssetId, struct std::asset_id::AssetId, bool)

Incoming from the forum.

Example

Consider the following contract:

type TupleWithNativeAssets = (AssetId, AssetId, bool);

abi MyContract {
    fn alias_types_tuple_with_native_types(x: TupleWithNativeAssets) -> TupleWithNativeAssets;
}

The following transpile ABI is produced:

{
  "types": [
    {
      "typeId": 1,
      // This type is incorrect
      "type": "(struct std::asset_id::AssetId, struct std::asset_id::AssetId, bool)",
      "components": [
        {
          "name": "__tuple_element",
          "type": 22,
          "typeArguments": null
        },
        {
          "name": "__tuple_element",
          "type": 22,
          "typeArguments": null
        },
        {
          "name": "__tuple_element",
          "type": 32,
          "typeArguments": null
        }
      ],
      "typeParameters": null
    },
  ],
  "functions": [
    {
      "inputs": [
        {
          "name": "x",
          "type": 1,
          "typeArguments": null
        }
      ],
      "name": "alias_types_tuple_with_native_types",
      // ...
    },
  ]
  // ...
}