Nightly Dotty workflow of 2021-04-20 failed

[github-actions]

See https://github.com/lampepfl/dotty/actions/runs/765725516

[smarter]

Should be fixed with the updated shapeless: #12144 (comment)