Reenable the tests in disabled in https://github.com/lampepfl/dotty/pull/7210#discussion-diff-325122066R92. These may need to be adapted.