Tracking: Use Solar for Solidity AST

[DaniPopes]

Component

Other (please describe)

Describe the feature you would like

Replace solang-parser and solc AST usage with Solar.

Part 1 of the migration to Solar. See the blog post for more details.

Solang usage:

• Chisel
  • Syntax highlighting using lexer (https://github.com/foundry-rs/foundry/blob/3b2e99973badc1d1597e37ae37dceb398fef4f8f/crates/chisel/src/solidity_helper.rs)
  • Type introspection; requires type-checking in Solar
• Forge
  • Inline config parser (https://github.com/foundry-rs/foundry/blob/3b2e99973badc1d1597e37ae37dceb398fef4f8f/crates/config/src/inline/natspec.rs)
  • doc (https://github.com/foundry-rs/foundry/blob/3b2e99973badc1d1597e37ae37dceb398fef4f8f/crates/doc)
  • EVM traces - finding contract definitions (https://github.com/foundry-rs/foundry/blob/3b2e99973badc1d1597e37ae37dceb398fef4f8f/crates/evm/traces/src/debug/sources.rs)
  • fmt (https://github.com/foundry-rs/foundry/blob/3b2e99973badc1d1597e37ae37dceb398fef4f8f/crates/fmt)
  • bind-json (https://github.com/foundry-rs/foundry/blob/3b2e99973badc1d1597e37ae37dceb398fef4f8f/crates/forge/bin/cmd/bind_json.rs)
  • geiger (https://github.com/foundry-rs/foundry/blob/3b2e99973badc1d1597e37ae37dceb398fef4f8f/crates/forge/bin/cmd/geiger)

Solc AST usage:

• forge bind-json
• forge coverage
• forge eip712
• forge flatten (in foundry-compilers)

Additional context

No response

[MathisGD]

Hey @DaniPopes! When do you plan to do the refactor for fmt? Otherwise do you think that this could be a first good issue?

Note that fmt stills breaks with the transient keyword (see #9088).

[zerosnacks]

Hi @MathisGD, it is currently part of our 1.1 milestone and in focus - fmt is quite large / complex unfortunately, I wouldn't consider it a good first issue. In the meantime I'm still trying to get solang to support the transient keyword to unblock this for our users, see: hyperledger-solang/solang#1670 (comment). An additional comment underscoring this is a blocker for you may help.

cc @grandizzy