This is needed when transitive changes are to be detected such as one function is not changed in itself but a called function is changed, though. See, for example, #8 and #3. Name resolution should not be implemented precisely.
For the start:
No handling of qualified names
No handling of qualified/hiding/explicit import lists
No instance selection (aka overloading resolution)
This is needed when transitive changes are to be detected such as one function is not changed in itself but a called function is changed, though. See, for example, #8 and #3. Name resolution should not be implemented precisely.
For the start: