#4964 introduced a [regression](https://travis-ci.org/lampepfl/dotty-community-build/jobs/431466130) in the community build