See scala/scala#9239, if Scala 2 decides to add a macro method to Array.scala, this will mean that we won't be able to call isEmpty on Array (on any JDK version) until we add more special-cases in dotty itself to handle it, so this is a blocker for M1.