Add experimental ABI alias metadata support.

Author: tritao

Cargo.lock

@@ -80,7 +80,7 @@ sway-ir-macros = { path = "sway-ir/sway-ir-macros", version = "0.70.1" }
 #
 
 # Dependencies from the `fuel-abi-types` repository:
-fuel-abi-types = "0.15"
+fuel-abi-types = "0.16"
 
 # Dependencies from the `fuel-core` repository:
 #
@@ -95,9 +95,9 @@ fuel-core-types = { version = "0.47", default-features = false }
 
 # Dependencies from the `fuels-rs` repository:
 
-fuels = "0.76"
-fuels-core = "0.76"
-fuels-accounts = "0.76"
+fuels = { path = "../fuels-rs/packages/fuels", version = "0.76.0" }
+fuels-core = { path = "../fuels-rs/packages/fuels-core", version = "0.76.0" }
+fuels-accounts = { path = "../fuels-rs/packages/fuels-accounts", version = "0.76.0" }
 
 # Dependencies from the `fuel-vm` repository:
 fuel-asm = "0.65"
@@ -259,3 +259,9 @@ vte = "0.13"
 walkdir = "2.3"
 whoami = "1.5"
 wiremock = "0.6"
+
+[patch.crates-io]
+fuels = { git = "https://github.com/FuelLabs/fuels-rs", branch = "feat/alias-type" }
+fuels-core = { git = "https://github.com/FuelLabs/fuels-rs", branch = "feat/alias-type" }
+fuels-accounts = { git = "https://github.com/FuelLabs/fuels-rs", branch = "feat/alias-type" }
+fuels-code-gen = { git = "https://github.com/FuelLabs/fuels-rs", branch = "feat/alias-type" }

Cargo.toml

@@ -1811,6 +1811,9 @@ pub fn compile(
                         abi_with_callpaths: true,
                         type_ids_to_full_type_str: HashMap::<String, String>::new(),
                         unique_names: HashMap::new(),
+                        metadata_declaration_cache: HashMap::new(),
+                        concrete_declaration_cache: HashMap::new(),
+                        experimental,
                     },
                     engines,
                     if experimental.new_encoding {

forc-pkg/src/pkg.rs

@@ -11,6 +11,7 @@ pub struct AbiStrContext {
     pub abi_with_callpaths: bool,
     pub abi_with_fully_specified_types: bool,
     pub abi_root_type_without_generic_type_parameters: bool,
+    pub abi_type_aliases: bool,
 }
 
 impl TypeId {
@@ -37,9 +38,10 @@ impl TypeId {
                 | (TypeInfo::Custom { .. }, TypeInfo::Enum { .. }) => type_engine
                     .get(resolved_type_id)
                     .abi_str(handler, ctx, engines, true),
-                (_, TypeInfo::Alias { ty, .. }) => ty
+                (_, TypeInfo::Alias { ty, .. }) if !ctx.abi_type_aliases => ty
                     .type_id
                     .get_abi_type_str(handler, ctx, engines, ty.type_id),
+                (_, TypeInfo::Alias { .. }) => Ok(self_abi_str),
                 (TypeInfo::Tuple(fields), TypeInfo::Tuple(resolved_fields)) => {
                     assert_eq!(fields.len(), resolved_fields.len());
                     let field_strs = resolved_fields
@@ -204,7 +206,13 @@ impl TypeInfo {
                 "__slice {}",
                 ty.abi_str(handler, ctx, engines, false)?
             )),
-            Alias { ty, .. } => Ok(ty.abi_str(handler, ctx, engines, false)?),
+            Alias { name, ty } => {
+                if ctx.abi_type_aliases {
+                    Ok(name.to_string())
+                } else {
+                    ty.abi_str(handler, ctx, engines, false)
+                }
+            }
             TraitType {
                 name,
                 implemented_in: _,