Typegen fails when handling Sway type aliases

[petertonysmith94]

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",
      // ...
    },
  ]
  // ...
}

Expected

We expect to generate a type with signature:
(_, _, _)

Actual

We actually generate a type with signature:
(struct std::asset_id::AssetId, struct std::asset_id::AssetId, bool)

[petertonysmith94]

It appears this is potentially an issue with forc rather than the transpiler - more to follow.

From my investigation, I've created the following issue in Sway:

• Inconsistent ABI metadata types with aliased types sway#6488

[petertonysmith94]

Closed as this appears to be an issue in Sway:

• Inconsistent ABI metadata types with aliased types sway#6488

[arboleya]

@petertonysmith94 Should we add some tests to validate this? They will fail at first, but they'll pass once I merge this:

• Upgrade forc to 0.63.4 #3117

The issue (FuelLabs/sway#6494) was fixed in the latest forc:

• https://github.com/FuelLabs/sway/releases/tag/v0.63.4

[petertonysmith94]

@arboleya We have tests here for an aliased type.

[arboleya]

Great! Can we merge these tests, then?

[petertonysmith94]

I've based off of:

• chore: upgrading forc to 0.63.4 #3118

This is ready to go once we merge the above:

• chore: added typegen test for type with native asset  #3066

[arboleya]

Thank you! 🫡