Some new info gained from experiments is here: https://github.com/lampepfl/dotty/issues/10662#issuecomment-739852480