chore: adding type checking

.changeset/odd-seahorses-learn.md

@@ -0,0 +1,4 @@
+---
+---
+
+chore: adding type checking

apps/docs-snippets/package.json

@@ -4,8 +4,9 @@
   "description": "",
   "private": true,
   "scripts": {
-    "pretest": "pnpm build:forc",
-    "build:forc": "pnpm fuels build"
+    "pretest": "run-s build:forc type:check",
+    "build:forc": "pnpm fuels build",
+    "type:check": "tsc --noEmit"
   },
   "devDependencies": {
     "@fuel-ts/account": "workspace:*",

apps/docs-snippets/src/guide/types/arrays.test.ts

@@ -58,6 +58,7 @@ describe('Arrays Types', () => {
       contracts: [contract],
     } = launched;
     try {
+      // @ts-expect-error Will throw error because the array length is not 2
       // #region arrays-3
       // will throw error because the array length is not 2
       await contract.functions.echo_u64_array([10000000]).simulate();

apps/docs-snippets/src/guide/types/contract-types.test.ts

@@ -2,6 +2,11 @@ import { Address } from 'fuels';
 import { launchTestNode } from 'fuels/test-utils';
 
 import { InputOutputTypesFactory } from '../../../test/typegen';
+import type {
+  IdentityOutput,
+  AddressOutput,
+  ContractIdOutput,
+} from '../../../test/typegen/contracts/InputOutputTypes';
 
 /**
  * @group node
@@ -87,9 +92,9 @@ describe('Contract Types', () => {
 
     // #region identity-address-output
     // #import { Address };
-    const identityFromOutput1 = callResponse1.value;
-    const addressStringFromOutput = identityFromOutput1.Address.bits;
-    const addressFromOutput: Address = Address.fromB256(addressStringFromOutput);
+    const identityFromOutput1: IdentityOutput = callResponse1.value;
+    const addressStringFromOutput: AddressOutput = identityFromOutput1.Address as AddressOutput;
+    const addressFromOutput: Address = Address.fromB256(addressStringFromOutput.bits);
     // #endregion identity-address-output
 
     // #region identity-contract-input
@@ -100,8 +105,9 @@ describe('Contract Types', () => {
     const callResponse2 = await contract.functions.identity(contractIdentityInput).simulate();
 
     // #region identity-contract-output
-    const identityFromOutput2 = callResponse2.value;
-    const contractIdFromOutput: string = identityFromOutput2.ContractId.bits;
+    const identityFromOutput2: IdentityOutput = callResponse2.value;
+    const contractIdOutput: ContractIdOutput = identityFromOutput2.ContractId as ContractIdOutput;
+    const contractIdFromOutput: string = contractIdOutput.bits;
     // #endregion identity-contract-output
 
     expect(addressFromOutput).toEqual(address);

apps/docs-snippets/src/guide/types/enums.test.ts

@@ -98,6 +98,7 @@ describe('Enums Types', () => {
     const emumValue: number = 1;
 
     await expectToThrowFuelError(
+      // @ts-expect-error number is not a valid type
       () => contract.functions.echo_state_error_enum(emumValue).simulate(),
       new FuelError(FuelError.CODES.INVALID_DECODE_VALUE, 'A field for the case must be provided.')
     );
@@ -122,6 +123,7 @@ describe('Enums Types', () => {
     const emumValue = 'NotStateEnumValue';
 
     await expectToThrowFuelError(
+      // @ts-expect-error NotStateEnumValue is not a valid value
       () => contract.functions.echo_state_error_enum(emumValue).simulate(),
       new FuelError(FuelError.CODES.INVALID_DECODE_VALUE, 'Only one field must be provided.')
     );
@@ -146,6 +148,7 @@ describe('Enums Types', () => {
     const enumParam = { UnknownKey: 'Completed' };
 
     await expectToThrowFuelError(
+      // @ts-expect-error UnknownKey is not a valid key
       () => contract.functions.echo_error_enum(enumParam).simulate(),
       new FuelError(
         FuelError.CODES.INVALID_DECODE_VALUE,

apps/docs-snippets/src/guide/types/vector.test.ts

@@ -78,7 +78,7 @@ describe('Vector Types', () => {
       // #import { arrayify };
       // #context import { BytecodeInputFactory } from '../path/to/typegen';
 
-      const bytecodeAsVecU8 = arrayify(BytecodeInputFactory.bytecode);
+      const bytecodeAsVecU8 = Array.from(arrayify(BytecodeInputFactory.bytecode));
 
       const { waitForResult } = await bytecodeContract.functions
         .compute_bytecode_root(bytecodeAsVecU8)

apps/docs-snippets/src/guide/wallets/connectors.test.ts

@@ -121,8 +121,11 @@ class WalletConnector extends FuelConnector {
     // #region fuel-connector-events-abis
     const abis: Array<FuelABI> = [
       {
-        encoding: '1',
-        types: [],
+        encodingVersion: '1',
+        specVersion: '1',
+        programType: 'contract',
+        concreteTypes: [],
+        metadataTypes: [],
         loggedTypes: [],
         functions: [],
         messagesTypes: [],

apps/docs-snippets/src/jsonc.d.ts

@@ -0,0 +1,5 @@
+// informs TS about `.jsonc` file extension
+declare module '*.jsonc' {
+  const value: string;
+  export default value;
+}

package.json

@@ -31,11 +31,12 @@
     "test:browser:filter": "vitest --run --coverage false --config vitest.browser.config.mts",
     "test:e2e": "vitest --run --config vitest.node.config.mts $(scripts/tests-find.sh --e2e)",
     "test:integration": "vitest --run --config vitest.node.config.mts $(scripts/tests-find.sh --integration)",
-    "lint": "run-s lint:check prettier:check",
+    "lint": "run-s type:check-tests lint:check prettier:check",
     "lint:check": "eslint . --ext .ts --max-warnings 0",
     "lint:fix": "pnpm lint:check --fix",
     "lint:md-links": "tsx ./scripts/lint-md-links",
     "lint:package-jsons": "tsx ./scripts/lint-package-jsons",
+    "type:check-tests": "tsc -p tsconfig.test.json",
     "prettier:check": "prettier --check packages --check apps/docs-snippets",
     "prettier:format": "prettier --write packages --check apps/docs-snippets",
     "verify:package-exports": "tsx ./scripts/verify-package-exports",

packages/abi-coder/src/encoding/coders/NumberCoder.test.ts

@@ -162,6 +162,7 @@ describe('NumberCoder', () => {
     const invalidNumber = 'u64';
 
     await expectToThrowFuelError(
+      // @ts-expect-error Expected to throw error
       () => new NumberCoder(invalidNumber),
       new FuelError(ErrorCode.TYPE_NOT_SUPPORTED, `Invalid number type: ${invalidNumber}`)
     );

packages/abi-coder/src/encoding/strategies/getCoderForEncoding.test.ts

@@ -1,3 +1,4 @@
+import type { EncodingVersion } from '../../utils/constants';
 import { ENCODING_V1 } from '../../utils/constants';
 
 import { getCoderForEncoding } from './getCoderForEncoding';
@@ -17,6 +18,8 @@ describe('getEncodingStrategy', () => {
   });
 
   it('throws for an unsupported encoding version', () => {
-    expect(() => getCoderForEncoding('2')).toThrowError('Encoding version 2 is unsupported.');
+    expect(() => getCoderForEncoding('2' as EncodingVersion)).toThrowError(
+      'Encoding version 2 is unsupported.'
+    );
   });
 });

packages/abi-typegen/src/utils/parseTypeArguments.test.ts

@@ -70,7 +70,7 @@ describe('parseTypeArguments.ts', () => {
   /*
     Test helpers
   */
-  function bundleTypes(rawTypes = defautRawTypes) {
+  function bundleTypes(rawTypes: readonly JsonAbiType[] = defautRawTypes) {
     const types = rawTypes.map((rawAbiType) => makeType({ rawAbiType }));
     return types;
   }

packages/abi-typegen/tsconfig.json

@@ -3,5 +3,6 @@
   "compilerOptions": {
     "outDir": "./dist"
   },
-  "include": ["src", "test"]
+  "include": ["src", "test"],
+  "exclude": ["**/__temp__/**"]
 }

packages/contract/tsconfig.json

@@ -3,5 +3,5 @@
   "compilerOptions": {
     "outDir": "./dist"
   },
-  "include": ["src", "src/**/*.json"]
+  "include": ["src", "src/**/*.json", "test"]
 }

packages/create-fuels/package.json

@@ -15,7 +15,9 @@
   },
   "license": "Apache-2.0",
   "scripts": {
-    "build": "tsup && tsc --noEmit",
+    "build": "run-s build:source type:check",
+    "build:source": "tsup",
+    "type:check": "tsc --noEmit",
     "prepublishOnly": "tsx ./scripts/prepublish.ts"
   },
   "dependencies": {

packages/fuel-gauge/package.json

@@ -5,9 +5,10 @@
   "description": "",
   "author": "Fuel Labs <[email protected]> (https://fuel.network/)",
   "scripts": {
-    "pretest": "run-s build:forc build:process-predicates",
+    "pretest": "run-s build:forc build:process-predicates type:check",
     "build:forc": "pnpm fuels build",
-    "build:process-predicates": "tsx ./scripts/process-predicates.ts"
+    "build:process-predicates": "tsx ./scripts/process-predicates.ts",
+    "type:check": "tsc --noEmit"
   },
   "license": "Apache-2.0",
   "dependencies": {

packages/fuel-gauge/src/bytecode-sway-lib.test.ts

@@ -1,8 +1,7 @@
-import { Predicate, arrayify } from 'fuels';
+import { arrayify } from 'fuels';
 import { launchTestNode } from 'fuels/test-utils';
 
-import { defaultPredicateAbi } from '../test/fixtures/abi/predicate';
-import { defaultPredicateBytecode } from '../test/fixtures/bytecode/predicate';
+import { PredicateTrue } from '../test/typegen';
 import { BytecodeSwayLibFactory } from '../test/typegen/contracts';
 
 import { launchTestContract } from './utils';
@@ -58,16 +57,12 @@ describe('bytecode computations', () => {
       provider,
     } = launched;
 
-    const predicate = new Predicate({
-      bytecode: defaultPredicateBytecode,
-      abi: defaultPredicateAbi,
-      provider,
-    });
+    const predicate = new PredicateTrue({ provider });
 
     const address = predicate.address;
 
     const { waitForResult } = await contract.functions
-      .compute_predicate_address(Array.from(arrayify(defaultPredicateBytecode)))
+      .compute_predicate_address(Array.from(arrayify(PredicateTrue.bytecode)))
       .call();
 
     const { value } = await waitForResult();

packages/fuel-gauge/src/vectors.test.ts

@@ -3,6 +3,7 @@ import type { BigNumberish, BN } from 'fuels';
 
 import { VectorsFactory } from '../test/typegen/contracts';
 import { SmallEnumInput } from '../test/typegen/contracts/CoverageContract';
+import type { Vec } from '../test/typegen/contracts/common';
 
 import { launchTestContract } from './utils';
 
@@ -119,7 +120,7 @@ describe('Vector Tests', () => {
   it('should test (u8, u8) vector input/output', async () => {
     using contractInstance = await setupContract();
 
-    const INPUT: Array<[BigNumberish, BigNumberish]> = [
+    const INPUT: Vec<[BigNumberish, BigNumberish]> = [
       [1, 2],
       [3, 4],
       [5, 6],
@@ -136,7 +137,7 @@ describe('Vector Tests', () => {
   it('should test (u64, u64) vector input/output', async () => {
     using contractInstance = await setupContract();
 
-    const INPUT: [BigNumberish, BigNumberish][] = [
+    const INPUT: Vec<[BigNumberish, BigNumberish]> = [
       [111, 2222],
       [333, 4445],
       [5555, 6],
@@ -167,7 +168,7 @@ describe('Vector Tests', () => {
   it('should test [u64; 5] vector input/output', async () => {
     using contractInstance = await setupContract();
 
-    const INPUT: Array<[BigNumberish, BigNumberish, BigNumberish, BigNumberish, BigNumberish]> = [
+    const INPUT: Vec<[BigNumberish, BigNumberish, BigNumberish, BigNumberish, BigNumberish]> = [
       [1, 2, 3, 4, 5],
       [500, 600, 700, 9000, 9999],
       [11500, 22600, 33700, 55000, 669999],
@@ -182,7 +183,7 @@ describe('Vector Tests', () => {
   it('should test [bool; 2] vector input/output', async () => {
     using contractInstance = await setupContract();
 
-    const INPUT: Array<[boolean, boolean]> = [
+    const INPUT: Vec<[boolean, boolean]> = [
       [true, true],
       [true, false],
       [false, true],
@@ -282,7 +283,7 @@ describe('Vector Tests', () => {
   it('should test SmallEnum vector input/output', async () => {
     using contractInstance = await setupContract();
 
-    const INPUT = [
+    const INPUT: Vec<SmallEnumInput> = [
       SmallEnumInput.Empty,
       SmallEnumInput.Empty,
       SmallEnumInput.Empty,
@@ -403,7 +404,7 @@ describe('Vector Tests', () => {
   it('should test Vec<u8> and b256 tuple input/output', async () => {
     using contractInstance = await setupContract();
 
-    const INPUT: [Array<number>, string] = [[1, 8, 3, 2, 55, 215], hexlify(randomBytes(32))];
+    const INPUT: [Vec<BigNumberish>, string] = [[1, 8, 3, 2, 55, 215], hexlify(randomBytes(32))];
 
     const { waitForResult } = await contractInstance.functions
       .echo_vector_and_b256_tuple(...INPUT)
@@ -416,7 +417,7 @@ describe('Vector Tests', () => {
   it('should test two vectors tuple input/output', async () => {
     using contractInstance = await setupContract();
 
-    const INPUT: [Array<number>, Array<number>] = [
+    const INPUT: [Vec<BigNumberish>, Vec<BigNumberish>] = [
       [219, 229],
       [1, 254, 55],
     ];
@@ -432,7 +433,7 @@ describe('Vector Tests', () => {
   it('should test u32 and three different vectors tuple input/output', async () => {
     using contractInstance = await setupContract();
 
-    const INPUT: [number, boolean[], number[], number[]] = [
+    const INPUT: [BigNumberish, Vec<boolean>, Vec<BigNumberish>, Vec<BigNumberish>] = [
       91000,
       [true, true, false],
       [95000, 153333],

packages/fuel-gauge/test/fixtures/forc-projects/bytecode-sway-lib/src/main.sw

@@ -19,6 +19,6 @@ impl MyContract for Contract {
     }
 
     fn compute_predicate_address(bytecode: Vec<u8>) -> Address {
-        return Address::from(0x6b6ef590390f0a7de75f8275ab5d7877c17236caba2514039c6565ec15f79111);
+        return Address::from(0x68fec7a57e48f4ec6467d7e09c27272bd8ca72b312ea553a470b98731475ccf3);
     }
 }

packages/fuel-gauge/tsconfig.json

@@ -3,5 +3,5 @@
   "compilerOptions": {
     "outDir": "./dist"
   },
-  "include": ["src"]
+  "include": ["src", "test"]
 }

packages/fuels/package.json

@@ -55,7 +55,9 @@
     "build:package": "tsup",
     "build:browser": "pnpm vite build",
     "build:minified": "pnpm uglifyjs --compress --mangle --output dist/browser.min.mjs -- dist/browser.mjs",
-    "postbuild": "tsc --emitDeclarationOnly -p tsconfig.dts.json",
+    "postbuild": "run-s type:declarations type:check",
+    "type:declarations": "tsc --emitDeclarationOnly -p tsconfig.dts.json",
+    "type:check": "tsc --noEmit",
     "prepublishOnly": "cp ../../README.md ./README.md"
   },
   "license": "Apache-2.0",

packages/logger/test/index.test.ts

@@ -1,14 +1,17 @@
 import type { AbstractAddress } from '@fuel-ts/interfaces';
 import { BN } from '@fuel-ts/math';
 import debug from 'debug';
+import type { MockInstance } from 'vitest';
 
 import { logger, prefixLogger, defaultLogger } from '../src/index';
 
+type Debug = typeof debug;
+
 /**
  * @group node
  */
 describe('Logger Tests', () => {
-  let debugSpy;
+  let debugSpy: MockInstance<Parameters<Debug['log']>, ReturnType<Debug['log']>>;
 
   beforeEach(() => {
     debug.enable('test');