Enable `-Ztypeck` for some solc tests
C-enhancementC-test
### 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 条评论