This is confusing.
Position stuff is unique to a file and not specific to a set.
This should be a separate hashmap to avoid confusion.
A Constraints is a fancy vector of constraints which should be solved.
Once a type is uncovered for the type hint system, this should be stored top-level in the type checker and not here.
Summary of current issue
This is confusing. Position stuff is unique to a file and not specific to a set. This should be a separate hashmap to avoid confusion. A
Constraintsis a fancy vector of constraints which should be solved. Once a type is uncovered for the type hint system, this should be stored top-level in the type checker and not here.