Add static type checking visitor
Open
P1
team-Starlark-Interpreter
type: feature request
- Dominant language
- Java
- Stars
- 25.8k
- Forks
- 4.6k
- Avg merge
- 2d 20h
- Merged PRs (30d)
- 72
Description
This tracks the part of #27370 specifically related to implementing a visitation over the syntax tree that infers expression types and validates type constraints imposed by expressions and statements.
Contributor guide
Assessment
This issue has not been assessed yet.