ITADN

Enable `-Ztypeck` for some solc tests

#663Openonbjerg 创建于 2025-12-18
C-enhancementC-test
O
onbjergcommented
### Describe the feature Solar has a testing tool to run `solc` tests. Currently these are used to validate parsing, but not typechecking. The tester lives here: https://github.com/paradigmxyz/solar/blob/main/tools/tester/src/lib.rs We should selectively enable `-Ztypeck` for a subset of Solidity tests, adding more as the typechecker is implemented. The tests mostly of interest have one or more `// TypeError:` comments and mostly live in [`test/libsolidity/syntaxTests`](https://github.com/argotorg/solidity/tree/develop/test/libsolidity/syntaxTests), e.g. [these](https://github.com/argotorg/solidity/tree/develop/test/libsolidity/syntaxTests/events) for events. ### Additional context _No response_
1 条评论