I've moved this comment to https://github.com/lampepfl/dotty/commit/f232c491cb253cc5ddeca448cf81ba9109d0cb4f