It's currently not tested so we didn't notice when it was broken (see https://github.com/lampepfl/dotty/pull/3884).