Added Mirror import statement.
Added Mirror import statement.

My Intellij Idea 2021.1.1 with the latest Scala plugin for some reason did not suggest that import and I had to spend some time searching it.
dotty-staging/dotty,dotty-staging/dotty,dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty