Here's the current state: https://github.com/lampepfl/dotty/pull/4229