Use import type for types instead of import

packages/hardhat-test/hardhat.config.ts

@@ -2,7 +2,7 @@
 import '@typechain/hardhat'
 import '@nomiclabs/hardhat-ethers'
 
-import { HardhatUserConfig } from 'hardhat/types'
+import type { HardhatUserConfig } from 'hardhat/types'
 
 const config: HardhatUserConfig = {
   solidity: '0.8.7',

packages/hardhat-test/test/hardhat.test.ts

@@ -1,6 +1,6 @@
-import { Interface } from '@ethersproject/abi'
+import type { Interface } from '@ethersproject/abi'
 import { ethers } from 'hardhat'
-import { AssertTrue, IsExact } from 'test-utils'
+import type { AssertTrue, IsExact } from 'test-utils'
 
 import { Counter__factory, StructsInConstructor__factory } from '../typechain-types'
 import type { Vector2Struct } from '../typechain-types/StructsInConstructor'
@@ -20,8 +20,12 @@ describe('TypeChain x Hardhat', () => {
     const artifact = require('../artifacts/contracts/Counter.sol/Counter.json') as { abi: Interface; bytecode: string }
 
     const counterFactory1 = new Counter__factory()
+    counterFactory1
     const counterFactory2 = new Counter__factory(deployer)
+    counterFactory2
     const counterFactory3 = new Counter__factory(artifact.abi, artifact.bytecode)
+    counterFactory3
     const counterFactory4 = new Counter__factory(artifact.abi, artifact.bytecode, deployer)
+    counterFactory4
   })
 })

packages/hardhat-test/tsconfig.json

@@ -3,6 +3,7 @@
   "include": ["./typechain-types", "./test", "./hardhat.config.ts"],
   "compilerOptions": {
     "esModuleInterop": true,
-    "skipLibCheck": true
+    "skipLibCheck": true,
+    "importsNotUsedAsValues": "error"
   }
 }

packages/hardhat-test/typechain-types/Counter.ts

@@ -1,7 +1,7 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import {
+import type {
   BaseContract,
   BigNumber,
   BytesLike,
@@ -12,9 +12,18 @@ import {
   Signer,
   utils,
 } from "ethers";
-import { FunctionFragment, Result, EventFragment } from "@ethersproject/abi";
-import { Listener, Provider } from "@ethersproject/providers";
-import { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "./common";
+import type {
+  FunctionFragment,
+  Result,
+  EventFragment,
+} from "@ethersproject/abi";
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "./common";
 
 export interface CounterInterface extends utils.Interface {
   contractName: "Counter";

packages/hardhat-test/typechain-types/Demo.ts

@@ -1,10 +1,21 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { BaseContract, BigNumber, BigNumberish, Signer, utils } from "ethers";
-
-import { Listener, Provider } from "@ethersproject/providers";
-import { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "./common";
+import type {
+  BaseContract,
+  BigNumber,
+  BigNumberish,
+  Signer,
+  utils,
+} from "ethers";
+
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "./common";
 
 export declare namespace Demo {
   export type Struct1Struct = { a: BigNumberish; b: BigNumberish };

packages/hardhat-test/typechain-types/StructsInConstructor.ts

@@ -1,10 +1,21 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { BaseContract, BigNumber, BigNumberish, Signer, utils } from "ethers";
+import type {
+  BaseContract,
+  BigNumber,
+  BigNumberish,
+  Signer,
+  utils,
+} from "ethers";
 
-import { Listener, Provider } from "@ethersproject/providers";
-import { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "./common";
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "./common";
 
 export type Vector2Struct = { x: BigNumberish; y: BigNumberish };
 

packages/hardhat-test/typechain-types/factories/Counter__factory.ts

@@ -1,8 +1,9 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { Signer, utils, Contract, ContractFactory, Overrides } from "ethers";
-import { Provider, TransactionRequest } from "@ethersproject/providers";
+import { Signer, utils, Contract, ContractFactory } from "ethers";
+import type { Overrides } from "ethers";
+import type { Provider, TransactionRequest } from "@ethersproject/providers";
 import type { Counter, CounterInterface } from "../Counter";
 
 const _abi = [

packages/hardhat-test/typechain-types/factories/Demo__factory.ts

@@ -1,8 +1,9 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { Signer, utils, Contract, ContractFactory, Overrides } from "ethers";
-import { Provider, TransactionRequest } from "@ethersproject/providers";
+import { Signer, utils, Contract, ContractFactory } from "ethers";
+import type { Overrides } from "ethers";
+import type { Provider, TransactionRequest } from "@ethersproject/providers";
 import type { Demo, DemoInterface } from "../Demo";
 
 const _abi = [

packages/hardhat-test/typechain-types/factories/StructsInConstructor__factory.ts

@@ -1,8 +1,9 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { Signer, utils, Contract, ContractFactory, Overrides } from "ethers";
-import { Provider, TransactionRequest } from "@ethersproject/providers";
+import { Signer, utils, Contract, ContractFactory } from "ethers";
+import type { Overrides } from "ethers";
+import type { Provider, TransactionRequest } from "@ethersproject/providers";
 import type {
   StructsInConstructor,
   StructsInConstructorInterface,

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/ERC20.ts

@@ -1,7 +1,7 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import {
+import type {
   BaseContract,
   BigNumber,
   BigNumberish,
@@ -13,9 +13,18 @@ import {
   Signer,
   utils,
 } from "ethers";
-import { FunctionFragment, Result, EventFragment } from "@ethersproject/abi";
-import { Listener, Provider } from "@ethersproject/providers";
-import { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "./common";
+import type {
+  FunctionFragment,
+  Result,
+  EventFragment,
+} from "@ethersproject/abi";
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "./common";
 
 export interface ERC20Interface extends utils.Interface {
   contractName: "ERC20";

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/EdgeCases.ts

@@ -1,10 +1,15 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { BaseContract, Signer, utils } from "ethers";
-
-import { Listener, Provider } from "@ethersproject/providers";
-import { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "./common";
+import type { BaseContract, Signer, utils } from "ethers";
+
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "./common";
 
 export interface EdgeCasesInterface extends utils.Interface {
   contractName: "EdgeCases";

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/SafeMath.ts

@@ -1,7 +1,7 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import {
+import type {
   BaseContract,
   BigNumber,
   BigNumberish,
@@ -11,9 +11,14 @@ import {
   Signer,
   utils,
 } from "ethers";
-import { FunctionFragment, Result } from "@ethersproject/abi";
-import { Listener, Provider } from "@ethersproject/providers";
-import { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "./common";
+import type { FunctionFragment, Result } from "@ethersproject/abi";
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "./common";
 
 export interface SafeMathInterface extends utils.Interface {
   contractName: "SafeMath";

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/TestContract.ts

@@ -1,10 +1,15 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { BaseContract, Signer, utils } from "ethers";
-
-import { Listener, Provider } from "@ethersproject/providers";
-import { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "./common";
+import type { BaseContract, Signer, utils } from "ethers";
+
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "./common";
 
 export interface TestContractInterface extends utils.Interface {
   contractName: "TestContract";

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/TestContract1.ts

@@ -1,10 +1,15 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { BaseContract, Signer, utils } from "ethers";
-
-import { Listener, Provider } from "@ethersproject/providers";
-import { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "./common";
+import type { BaseContract, Signer, utils } from "ethers";
+
+import type { Listener, Provider } from "@ethersproject/providers";
+import type {
+  TypedEventFilter,
+  TypedEvent,
+  TypedListener,
+  OnEvent,
+} from "./common";
 
 export interface TestContract1Interface extends utils.Interface {
   contractName: "TestContract1";

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/factories/ERC20__factory.ts

@@ -1,8 +1,9 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { Signer, utils, Contract, ContractFactory, Overrides } from "ethers";
-import { Provider, TransactionRequest } from "@ethersproject/providers";
+import { Signer, utils, Contract, ContractFactory } from "ethers";
+import type { Overrides } from "ethers";
+import type { Provider, TransactionRequest } from "@ethersproject/providers";
 import type { ERC20, ERC20Interface } from "../ERC20";
 
 const _abi = [

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/factories/EdgeCases__factory.ts

@@ -6,11 +6,11 @@ import {
   utils,
   Contract,
   ContractFactory,
-  Overrides,
   BytesLike,
   BigNumberish,
 } from "ethers";
-import { Provider, TransactionRequest } from "@ethersproject/providers";
+import type { Overrides } from "ethers";
+import type { Provider, TransactionRequest } from "@ethersproject/providers";
 import type { EdgeCases, EdgeCasesInterface } from "../EdgeCases";
 
 const _abi = [

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/factories/SafeMath__factory.ts

@@ -1,8 +1,9 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import { Signer, utils, Contract, ContractFactory, Overrides } from "ethers";
-import { Provider, TransactionRequest } from "@ethersproject/providers";
+import { Signer, utils, Contract, ContractFactory } from "ethers";
+import type { Overrides } from "ethers";
+import type { Provider, TransactionRequest } from "@ethersproject/providers";
 import type { SafeMath, SafeMathInterface } from "../SafeMath";
 
 const _abi = [

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/factories/TestContract1__factory.ts

@@ -1,15 +1,9 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import {
-  Signer,
-  utils,
-  Contract,
-  ContractFactory,
-  Overrides,
-  BigNumberish,
-} from "ethers";
-import { Provider, TransactionRequest } from "@ethersproject/providers";
+import { Signer, utils, Contract, ContractFactory, BigNumberish } from "ethers";
+import type { Overrides } from "ethers";
+import type { Provider, TransactionRequest } from "@ethersproject/providers";
 import type { TestContract1, TestContract1Interface } from "../TestContract1";
 
 const _abi = [

packages/hardhat/test/fixture-projects/hardhat-project/typechain-types/factories/TestContract__factory.ts

@@ -1,15 +1,9 @@
 /* Autogenerated file. Do not edit manually. */
 /* tslint:disable */
 /* eslint-disable */
-import {
-  Signer,
-  utils,
-  Contract,
-  ContractFactory,
-  Overrides,
-  BigNumberish,
-} from "ethers";
-import { Provider, TransactionRequest } from "@ethersproject/providers";
+import { Signer, utils, Contract, ContractFactory, BigNumberish } from "ethers";
+import type { Overrides } from "ethers";
+import type { Provider, TransactionRequest } from "@ethersproject/providers";
 import type { TestContract, TestContractInterface } from "../TestContract";
 
 const _abi = [

packages/target-ethers-v4-test/test/DataTypesInput.test.ts

@@ -1,9 +1,9 @@
 import { expect } from 'earljs'
 import { BigNumber, formatBytes32String } from 'ethers/utils'
 import { AssertTrue, IsExact, q18, typedAssert } from 'test-utils'
-import { Awaited } from 'ts-essentials'
+import type { Awaited } from 'ts-essentials'
 
-import { DataTypesInput } from '../types/DataTypesInput'
+import type { DataTypesInput } from '../types/DataTypesInput'
 import { createNewBlockchain, deployContract } from './common'
 
 describe('DataTypesInput', () => {

packages/target-ethers-v4-test/test/Overload.test.ts

@@ -1,7 +1,7 @@
 import { BigNumber } from 'ethers/utils'
 import { typedAssert } from 'test-utils'
 
-import { Overloads } from '../types/Overloads'
+import type { Overloads } from '../types/Overloads'
 import { createNewBlockchain, deployContract } from './common'
 
 describe('Overloads', () => {

packages/target-ethers-v4-test/tsconfig.json

@@ -3,6 +3,7 @@
   "include": ["src", "test", "types"],
   "compilerOptions": {
     "esModuleInterop": true,
-    "skipLibCheck": true // problems in @types/superagent
+    "skipLibCheck": true, // problems in @types/superagent
+    "importsNotUsedAsValues": "error"
   }
 }

packages/target-ethers-v4-test/types/factories/B__factory.ts

@@ -3,9 +3,9 @@
 /* eslint-disable */
 
 import { Contract, Signer } from "ethers";
-import { Provider } from "ethers/providers";
+import type { Provider } from "ethers/providers";
 
-import { B } from "../B";
+import type { B } from "../B";
 
 export class B__factory {
   static connect(address: string, signerOrProvider: Signer | Provider): B {