Skip to content

Enable -Ztypeck for some solc tests #663

@onbjerg

Description

@onbjerg

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, e.g. these for events.

Additional context

No response

Metadata

Metadata

Labels

C-enhancementCategory: an issue proposing an enhancement or a PR with oneC-testCategory: a change that impacts how or what we test

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions