Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert to the original definition. For a while this was changed so that a tree would match if its source symbol matched the required symbol but this yields to many trees (e.g. primary constructor of a class in addition to the class itself).
- Loading branch information