Component

Other (please describe)

Describe the feature you would like

forge check would be a command like cargo check that parses, lowers and performs semantic analysis. If cargo check passes, you have a high degree of confidence that your code will build, and forge check would do the same. The difference between check commands and build commands is that check commands skip codegen and optimizer steps.

There is a caveat for forge check, which is that it would not perform a stack scheduling algorithm, and as such, cannot provide a 100% guarantee that code builds because of that.

This is blocked by typechecking in Solar.

Additional context

No response