Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove unmodifiable collection wrappers in ResolveContext
This fixes #700 (Java is unhelpful and the Collections.unmodifiableList etc methods don't check whether the thing is already wrapped). These were just an assertion basically intended to find any accidental modification of these collections, so not essential.
- Loading branch information