Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
restore a bit of spec language that went missing
the language in question was added by Adriaan in scala#7680 but then accidentally got removed in 2020 by scala#7432 I looked through other spec commits in that date span and didn't find anything else that went missing
- Loading branch information