[Bug] `sol!` doesn't pick up a type alias defined in a library

[0xgleb]

Component

sol_types

What version of Alloy are you on?

└── alloy v1.0.9
    ├── alloy-consensus v1.0.9
    │   ├── alloy-eips v1.0.9
    │   │   ├── alloy-eip2124 v0.2.0
    │   │   │   ├── alloy-primitives v1.2.0
    │   │   │   │   ├── alloy-rlp v0.3.12
    │   │   │   │   │   ├── alloy-rlp-derive v0.3.12 (proc-macro)
    │   │   │   │   │   ├── alloy-rlp v0.3.12 (*)
    │   │   │   ├── alloy-rlp v0.3.12 (*)
    │   │   ├── alloy-eip2930 v0.2.1
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   ├── alloy-rlp v0.3.12 (*)
    │   │   ├── alloy-eip7702 v0.6.1
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   ├── alloy-rlp v0.3.12 (*)
    │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   ├── alloy-rlp v0.3.12 (*)
    │   │   ├── alloy-serde v1.0.9
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   ├── alloy-primitives v1.2.0 (*)
    │   ├── alloy-rlp v0.3.12 (*)
    │   ├── alloy-serde v1.0.9 (*)
    │   ├── alloy-trie v0.8.1
    │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   ├── alloy-rlp v0.3.12 (*)
    ├── alloy-contract v1.0.9
    │   ├── alloy-consensus v1.0.9 (*)
    │   ├── alloy-dyn-abi v1.2.0
    │   │   ├── alloy-json-abi v1.2.0
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   ├── alloy-sol-type-parser v1.2.0
    │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   ├── alloy-sol-type-parser v1.2.0 (*)
    │   │   ├── alloy-sol-types v1.2.0
    │   │   │   ├── alloy-json-abi v1.2.0 (*)
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   └── alloy-sol-macro v1.2.0 (proc-macro)
    │   │   │       ├── alloy-sol-macro-expander v1.2.0
    │   │   │       │   ├── alloy-json-abi v1.2.0
    │   │   │       │   │   ├── alloy-primitives v1.2.0
    │   │   │       │   │   ├── alloy-sol-type-parser v1.2.0
    │   │   │       │   ├── alloy-sol-macro-input v1.2.0
    │   │   │       │   │   ├── alloy-json-abi v1.2.0 (*)
    │   │   │       ├── alloy-sol-macro-input v1.2.0 (*)
    │   ├── alloy-json-abi v1.2.0 (*)
    │   ├── alloy-network v1.0.9
    │   │   ├── alloy-consensus v1.0.9 (*)
    │   │   ├── alloy-consensus-any v1.0.9
    │   │   │   ├── alloy-consensus v1.0.9 (*)
    │   │   │   ├── alloy-eips v1.0.9 (*)
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   ├── alloy-rlp v0.3.12 (*)
    │   │   │   ├── alloy-serde v1.0.9 (*)
    │   │   ├── alloy-eips v1.0.9 (*)
    │   │   ├── alloy-json-rpc v1.0.9
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   ├── alloy-sol-types v1.2.0 (*)
    │   │   ├── alloy-network-primitives v1.0.9
    │   │   │   ├── alloy-consensus v1.0.9 (*)
    │   │   │   ├── alloy-eips v1.0.9 (*)
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   ├── alloy-serde v1.0.9 (*)
    │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   ├── alloy-rpc-types-any v1.0.9
    │   │   │   ├── alloy-consensus-any v1.0.9 (*)
    │   │   │   ├── alloy-rpc-types-eth v1.0.9
    │   │   │   │   ├── alloy-consensus v1.0.9 (*)
    │   │   │   │   ├── alloy-consensus-any v1.0.9 (*)
    │   │   │   │   ├── alloy-eips v1.0.9 (*)
    │   │   │   │   ├── alloy-network-primitives v1.0.9 (*)
    │   │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   │   ├── alloy-rlp v0.3.12 (*)
    │   │   │   │   ├── alloy-serde v1.0.9 (*)
    │   │   │   │   ├── alloy-sol-types v1.2.0 (*)
    │   │   │   └── alloy-serde v1.0.9 (*)
    │   │   ├── alloy-rpc-types-eth v1.0.9 (*)
    │   │   ├── alloy-serde v1.0.9 (*)
    │   │   ├── alloy-signer v1.0.9
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   ├── alloy-sol-types v1.2.0 (*)
    │   ├── alloy-network-primitives v1.0.9 (*)
    │   ├── alloy-primitives v1.2.0 (*)
    │   ├── alloy-provider v1.0.9
    │   │   ├── alloy-chains v0.2.3
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   ├── alloy-consensus v1.0.9 (*)
    │   │   ├── alloy-eips v1.0.9 (*)
    │   │   ├── alloy-json-rpc v1.0.9 (*)
    │   │   ├── alloy-network v1.0.9 (*)
    │   │   ├── alloy-network-primitives v1.0.9 (*)
    │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   ├── alloy-rpc-client v1.0.9
    │   │   │   ├── alloy-json-rpc v1.0.9 (*)
    │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   ├── alloy-transport v1.0.9
    │   │   │   │   ├── alloy-json-rpc v1.0.9 (*)
    │   │   │   │   ├── alloy-primitives v1.2.0 (*)
    │   │   │   ├── alloy-transport-http v1.0.9
    │   │   │   │   ├── alloy-json-rpc v1.0.9 (*)
    │   │   │   │   ├── alloy-transport v1.0.9 (*)
    │   │   ├── alloy-rpc-types-eth v1.0.9 (*)
    │   │   ├── alloy-signer v1.0.9 (*)
    │   │   ├── alloy-sol-types v1.2.0 (*)
    │   │   ├── alloy-transport v1.0.9 (*)
    │   │   ├── alloy-transport-http v1.0.9 (*)
    │   ├── alloy-rpc-types-eth v1.0.9 (*)
    │   ├── alloy-sol-types v1.2.0 (*)
    │   ├── alloy-transport v1.0.9 (*)
    ├── alloy-core v1.2.0
    │   ├── alloy-dyn-abi v1.2.0 (*)
    │   ├── alloy-json-abi v1.2.0 (*)
    │   ├── alloy-primitives v1.2.0 (*)
    │   └── alloy-sol-types v1.2.0 (*)
    ├── alloy-eips v1.0.9 (*)
    ├── alloy-network v1.0.9 (*)
    ├── alloy-provider v1.0.9 (*)
    ├── alloy-rpc-client v1.0.9 (*)
    ├── alloy-rpc-types v1.0.9
    │   ├── alloy-primitives v1.2.0 (*)
    │   ├── alloy-rpc-types-eth v1.0.9 (*)
    │   ├── alloy-serde v1.0.9 (*)
    ├── alloy-serde v1.0.9 (*)
    ├── alloy-signer v1.0.9 (*)
    ├── alloy-signer-local v1.0.9
    │   ├── alloy-consensus v1.0.9 (*)
    │   ├── alloy-network v1.0.9 (*)
    │   ├── alloy-primitives v1.2.0 (*)
    │   ├── alloy-signer v1.0.9 (*)
    ├── alloy-transport v1.0.9 (*)
    └── alloy-transport-http v1.0.9 (*)

Operating System

None

Describe the bug

A contract uses a library

The library defines a type alias Float

Rust code tries to use the sol! macro by specifying a path to the contract

cargo build results in an error unresolved custom type: Float

[yash-atreya]

Is LibDecimalFloat defined in a separate file?

sol! can't resolve sources across multiple files.

You can use forge flatten to aggregate all sources into a single file

[0xgleb]

Is LibDecimalFloat defined in a separate file?

Yes. Didn't know about forge flatten but if we need an extra step then that kind of defeats the purpose of using the macros with Solidity as we can just forge build and use JSON ABI instead. Thanks for the reply though

[kziemianek]

In my case this generating code from ABI json doesn't work

Solidity:

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.13;

import "./Foo.sol";

interface IHandler {

    struct FooBar {
        Foo foo;
    }

    function handle(FooBar calldata foobar) external;
}

Rust:

use alloy::sol;

sol!(
	#[allow(missing_docs)]
	#[sol(rpc)]
	Handler,
	"../contracts/out/IHandler.sol/IHandler.json"
);

fn main() {
    println!("Hello, world!");
}

Error:

error[E0412]: cannot find type `Foo` in this scope
 --> src/main.rs:3:1
  |
3 | / sol!(
4 | |     #[allow(missing_docs)]
5 | |     #[sol(rpc)]
6 | |     Handler,
7 | |     "../contracts/out/IHandler.sol/IHandler.json"
8 | | );
  | |_^ not found in this scope
  |
  = help: consider importing this struct:
          crate::Handler::Foo
  = note: this error originates in the macro `$crate::sol_types::sol` which comes from the expansion of the macro `sol` (in Nightly builds, run with -Z macro-backtrace for more info)

For more information about this error, try `rustc --explain E0412`.
error: could not compile `interface-integration` (bin "interface-integration") due to 1 previous error

full code: https://github.com/kziemianek/foobar-integration

Do I miss something basic or is this expected ?

[DaniPopes]

@kziemianek reported separately in #966

[ladislavdubravsky]

@kziemianek I think your error goes away if you change Handler to IHandler in your macro invocation.